diff -r 9229d09363c0 -r 4ff1dc2aa18d src/Sequents/ROOT.ML
--- a/src/Sequents/ROOT.ML	Tue Aug 07 20:19:54 2007 +0200
+++ b/src/Sequents/ROOT.ML	Tue Aug 07 20:19:55 2007 +0200
@@ -6,7 +6,4 @@
 Classical Sequent Calculus based on Pure Isabelle. 
 *)
 
-Unify.trace_bound:= 20;
-Unify.search_bound := 40;
-
 use_thys ["LK", "ILL", "ILL_predlog", "Washing", "Modal0", "T", "S4", "S43"];