src/CTT/Main.thy

slightly less ambitious settings, to avoid potential out-of-memory problem;

(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end