tweak LEO-II setup
authorblanchet
Thu May 10 10:07:40 2012 +0200 (2012-05-10)
changeset 47899493d70c63fd6
parent 47898 6213900d6d5f
child 47900 6440a74b2f62
tweak LEO-II setup
src/HOL/Tools/ATP/atp_systems.ML
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Thu May 10 10:07:40 2012 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu May 10 10:07:40 2012 +0200
     1.3 @@ -337,7 +337,7 @@
     1.4       [(TimedOut, "CPU time limit exceeded, terminating"),
     1.5        (GaveUp, "No.of.Axioms")],
     1.6     conj_sym_kind = Axiom,
     1.7 -   prem_kind = Definition (* motivated by "isabelle tptp_sledgehammer" tool *),
     1.8 +   prem_kind = Hypothesis,
     1.9     best_slices = fn ctxt =>
    1.10       (* FUDGE *)
    1.11       [(0.667, (false, ((150, leo2_thf0, "mono_native_higher", keep_lamsN, false), sosN))),