src/CTT/Main.thy

adjust_maxidx: pass explicit lower bound;
tuned interfaces;

(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end