Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
changeset 43352 597f31069e18
parent 43259 30c141dc22d6
child 43353 6c008d3efb0a 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Fri Jun 10 12:01:15 2011 +0200
@@ -95,7 +95,7 @@
    ("relevance_thresholds", "0.45 0.85"),
    ("max_relevant", "smart"),
    ("max_mono_iters", "3"),
-   ("max_new_mono_instances", "400"),
+   ("max_new_mono_instances", "200"),
    ("isar_proof", "false"),
    ("isar_shrink_factor", "1"),
    ("slicing", "true"),
isabelle