src/CTT/Main.thy
author wenzelm
Mon Feb 23 14:50:30 2015 +0100 (2015-02-23)
changeset 59564 fdc03c8daacc
parent 58889 5b7a9633cfa8
child 60770 240563fbf41d
permissions -rw-r--r--
Goal.prove_multi is superseded by the fully general Goal.prove_common;
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