src/CTT/Main.thy
author huffman
Thu Aug 11 09:11:15 2011 -0700 (2011-08-11)
changeset 44165 d26a45f3c835
parent 35762 af3ff2ba4c54
child 58889 5b7a9633cfa8
permissions -rw-r--r--
remove lemma stupid_ext
     1 header {* Main includes everything *}
     2 
     3 theory Main
     4 imports CTT Arith Bool
     5 begin
     6 end