src/CTT/Main.thy

discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end