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.
revert unintended change
authorblanchet
Mon, 23 Aug 2010 17:53:49 +0200
changeset 38680 634a6d400c2e
parent 38679 2cfd0777580f
child 38681 f9edc593e929
revert unintended change
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Aug 23 17:49:18 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Aug 23 17:53:49 2010 +0200
@@ -208,7 +208,7 @@
    default_max_relevant_per_iter = 45 (* FUDGE *),
    default_theory_relevant = false,
    explicit_forall = false,
-   use_conjecture_for_hypotheses = false} (*###*)
+   use_conjecture_for_hypotheses = true}
 
 val vampire = ("vampire", vampire_config)
isabelle