src/CTT/Main.thy

--- a/src/CTT/Main.thy	Thu Feb 02 09:55:16 2017 -0500
+++ b/src/CTT/Main.thy	Fri Feb 03 16:36:44 2017 +0100
@@ -1,6 +1,6 @@
 section \<open>Main includes everything\<close>
 
 theory Main
-  imports CTT Arith Bool
+  imports CTT Bool Arith
 begin
 end