1
2 (*theory Main includes everything*)
3
4 theory Main = CTT + Arith + Bool:
4 theory Main imports CTT Arith Bool begin
5
6 end