# HG changeset patch
# User blanchet
# Date 1336637260 -7200
# Node ID 493d70c63fd66ef98d7db35c1786eef65e1f8bc9
# Parent  6213900d6d5f5a106f3a6be5a16b7985980f07ef
tweak LEO-II setup

diff -r 6213900d6d5f -r 493d70c63fd6 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu May 10 10:07:40 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu May 10 10:07:40 2012 +0200
@@ -337,7 +337,7 @@
      [(TimedOut, "CPU time limit exceeded, terminating"),
       (GaveUp, "No.of.Axioms")],
    conj_sym_kind = Axiom,
-   prem_kind = Definition (* motivated by "isabelle tptp_sledgehammer" tool *),
+   prem_kind = Hypothesis,
    best_slices = fn ctxt =>
      (* FUDGE *)
      [(0.667, (false, ((150, leo2_thf0, "mono_native_higher", keep_lamsN, false), sosN))),