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 38683 23266607cb81
parent 38590 bd443b426d56
child 38684 e2c04af9469b 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Aug 23 18:25:49 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Aug 23 18:39:12 2010 +0200
@@ -67,7 +67,7 @@
    ("verbose", "false"),
    ("overlord", "false"),
    ("explicit_apply", "false"),
-   ("relevance_threshold", "50"),
+   ("relevance_threshold", "40"),
    ("relevance_convergence", "320"),
    ("max_relevant_per_iter", "smart"),
    ("theory_relevant", "smart"),
isabelle