1 section \<open>Main includes everything\<close>
2
3 theory Main
4 imports CTT Bool Arith
5 begin
6 end