src/CTT/Main.thy

tuned signature -- avoid intrusion of slightly odd Swing structures into pure Markup_Tree;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end