src/CTT/Main.thy
author obua
Fri, 16 Sep 2005 21:02:15 +0200
changeset 17440 df77edc4f5d0
parent 16417 9bc16273c2d4
child 17441 5b5feca0344a
permissions -rw-r--r--
fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10466
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     1
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     2
(*theory Main includes everything*)
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     3
16417
9bc16273c2d4 migrated theory headers to new format
haftmann
parents: 10466
diff changeset
     4
theory Main imports CTT Arith Bool begin
10466
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     5
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     6
end