src/CTT/Main.thy

arith method setup: proper context;
turned fast_arith_split/neq_limit into configuration options;
tuned signatures;
misc cleanup;

(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end