src/CTT/Main.thy
changeset 35762 af3ff2ba4c54
parent 17441 5b5feca0344a
child 58889 5b7a9633cfa8
equal deleted inserted replaced
35761:c4a698ee83b4 35762:af3ff2ba4c54
     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