src/CTT/Main.thy

tuned user-level type abbrevs: explicit warning concerning ignored sort constraints -- sorts never affect formation of types and type abbrevs strip sorts internally;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end