Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed -1 back to 0
authornipkow
Mon, 13 Jun 2005 13:10:45 +0200
changeset 16380 019ec70774ff
parent 16379 d29d27e0f59f
child 16381 f53ccd0cc70e
changed -1 back to 0
src/Pure/meta_simplifier.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle