1 files changed, 0 insertions, 10 deletions
diff --git a/hott/HoTT.thy b/hott/HoTT.thy
deleted file mode 100644
index 0b3040c..0000000
--- a/hott/HoTT.thy
+++ /dev/null
@@ -1,10 +0,0 @@
-theory HoTT
-imports
-  Identity
-  Equivalence
-  More_Types
-  Nat
-
-begin
-
-end