--- a/src/CTT/Main.thy	Tue Apr 11 10:29:25 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
changeset 65464	f3cd78ba687c
parent 65438	f556a7a9080c
parent 65463	104502de757c
child 65465	067210a08a22
child 65467	9535c670b1b4