| changeset 16380 | 019ec70774ff |
| parent 16378 | 8af448f67cef |
| child 16458 | 4c6fd0c01d28 |
--- 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