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