src/CTT/Main.thy

somewhat more uniform timing in ML vs. Scala;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end