# HG changeset patch
# User nipkow
# Date 1118661045 -7200
# Node ID 019ec70774ffca689f40ddf2bdd579e264e60f17
# Parent  d29d27e0f59fcabe7ae9bd2875751a11680b842d
changed -1 back to 0

diff -r d29d27e0f59f -r 019ec70774ff src/Pure/meta_simplifier.ML
--- a/src/Pure/meta_simplifier.ML	Mon Jun 13 10:35:53 2005 +0200
+++ b/src/Pure/meta_simplifier.ML	Mon Jun 13 13:10:45 2005 +0200
@@ -105,9 +105,9 @@
 
 val debug_simp = ref false;
 val trace_simp = ref false;
-val simp_depth = ref (~1);
-val simp_depth_limit = ref 1000;
-val trace_simp_depth_limit = ref 1000;
+val simp_depth = ref 0;
+val simp_depth_limit = ref 100;
+val trace_simp_depth_limit = ref 100;
 
 local