src/CTT/Main.thy

 section \<open>Main includes everything\<close>
 
 theory Main
-imports CTT Arith Bool
+  imports CTT Arith Bool
 begin
 end