1
2 (* $Id$ *)
3
4 header {* Main includes everything *}
1 header {* Main includes everything *}
5
2
6 theory Main
3 theory Main
7 imports CTT Arith Bool
4 imports CTT Arith Bool
8 begin
5 begin