src/CTT/Main.thy
author wenzelm
Mon, 31 Mar 2014 12:35:39 +0200
changeset 56334 6b3739fee456
parent 35762 af3ff2ba4c54
child 58889 5b7a9633cfa8
permissions -rw-r--r--
some shortcuts for chunks, which sometimes avoid bulky string output;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end