1 header {* Main includes everything *}
1 section {* Main includes everything *}
2
3 theory Main
4 imports CTT Arith Bool
5 begin
6 end