author | blanchet |
Mon, 23 Aug 2010 17:53:49 +0200 | |
changeset 38680 | 634a6d400c2e |
parent 38679 | 2cfd0777580f |
child 38681 | f9edc593e929 |
--- 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)