src/CTT/Main.thy
author wenzelm
Sun Nov 02 18:21:45 2014 +0100 (2014-11-02)
changeset 58889 5b7a9633cfa8
parent 35762 af3ff2ba4c54
child 60770 240563fbf41d
permissions -rw-r--r--
modernized header uniformly as section;
wenzelm@58889
     1
section {* Main includes everything *}
paulson@10466
     2
wenzelm@17441
     3
theory Main
wenzelm@17441
     4
imports CTT Arith Bool
wenzelm@17441
     5
begin
paulson@10466
     6
end