src/CTT/Main.thy

discontinued somewhat pointless Par_List.map_name -- most of the time is spent in tokenization;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end