src/CTT/Main.thy

handle Pattern.MATCH, not arbitrary exceptions;
misc tuning, trying to reduce line length a bit;

(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end