--- a/src/HOL/Tools/ATP/atp_systems.ML Thu May 24 13:56:21 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Thu May 24 15:01:29 2012 +0200
@@ -363,7 +363,7 @@
proof_delims =
[("% Higher-Order Unsat Core BEGIN", "% Higher-Order Unsat Core END")],
known_failures = known_szs_status_failures,
- prem_role = Definition (* motivated by "isabelle tptp_sledgehammer" tool *),
+ prem_role = Hypothesis,
best_slices =
(* FUDGE *)
K [(1.0, (true, ((120, satallax_thf0, "mono_native_higher", keep_lamsN, false), "")))],