wenzelm@17441: header {* Main includes everything *}
paulson@10466: 
wenzelm@17441: theory Main
wenzelm@17441: imports CTT Arith Bool
wenzelm@17441: begin
paulson@10466: end