src/CTT/Main.thy
author wenzelm
Fri, 17 Apr 2015 22:15:35 +0200
changeset 60125 2944cc4f4f56
parent 58889 5b7a9633cfa8
child 60770 240563fbf41d
permissions -rw-r--r--
tuned spelling;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
58889
5b7a9633cfa8 modernized header uniformly as section;
wenzelm
parents: 35762
diff changeset
     1
section {* Main includes everything *}
10466
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     2
17441
5b5feca0344a converted to Isar theory format;
wenzelm
parents: 16417
diff changeset
     3
theory Main
5b5feca0344a converted to Isar theory format;
wenzelm
parents: 16417
diff changeset
     4
imports CTT Arith Bool
5b5feca0344a converted to Isar theory format;
wenzelm
parents: 16417
diff changeset
     5
begin
10466
78168ca70469 new Main.thy as in HOL, ZF
paulson
parents:
diff changeset
     6
end