* Changed defaults for unify configuration options;

--- a/NEWS	Tue Sep 09 16:29:34 2008 +0200
+++ b/NEWS	Tue Sep 09 16:35:57 2008 +0200
@@ -19,6 +19,11 @@
 
 *** Pure ***
 
+* Changed defaults for unify configuration options:
+
+  unify_trace_bound = 50 (formerly 25)
+  unify_search_bound = 60 (formerly 30)
+
 * Different bookkeeping for code equations:
   a) On theory merge, the last set of code equations for a particular constant
      is taken (in accordance with the policy applied by other parts of the