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;

section {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end