src/CTT/Main.thy

declare euclidean_simps [simp] at the point they are proved;
avoid duplicate rule warnings;

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end