src/CTT/Main.thy

--- a/src/CTT/Main.thy	Sun Apr 09 19:03:55 2017 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-section \<open>Main includes everything\<close>
-
-theory Main
-  imports CTT Bool Arith
-begin
-end