From bd93584da62ce4b1e43862b4119788265b00cb3c Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 18 Aug 2018 14:53:36 +0200
Subject: Test theories

---
 scratch.thy | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 scratch.thy

(limited to 'scratch.thy')

diff --git a/scratch.thy b/scratch.thy
deleted file mode 100644
index f0514c3..0000000
--- a/scratch.thy
+++ /dev/null
@@ -1,9 +0,0 @@
-theory scratch
-  imports HoTT
-begin
-
-
-
-
-
-end
\ No newline at end of file
-- 
cgit v1.2.3

