src/CTT/Main.thy

--- a/src/CTT/Main.thy	Fri Jul 15 11:26:40 2016 +0200
+++ b/src/CTT/Main.thy	Fri Jul 15 15:19:04 2016 +0200
@@ -1,6 +1,6 @@
 section \<open>Main includes everything\<close>
 
 theory Main
-imports CTT Arith Bool
+  imports CTT Arith Bool
 begin
 end