src/CTT/Main.thy
changeset 10466 78168ca70469
child 16417 9bc16273c2d4
equal deleted inserted replaced
10465:4aa6f8b5cdc4 10466:78168ca70469
       
     1 
       
     2 (*theory Main includes everything*)
       
     3 
       
     4 theory Main = CTT + Arith + Bool:
       
     5 
       
     6 end