changeset 68328 | 0d751da653d9 |
parent 68250 | c45067867860 |
child 68563 | 05fb05f94686 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed May 30 13:44:53 2018 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Thu May 31 10:59:36 2018 +0200 @@ -369,7 +369,7 @@ [(TimedOut, "Failure: Resource limit exceeded (time)"), (TimedOut, "time limit exceeded")] @ known_szs_status_failures, - prem_role = Conjecture, + prem_role = Hypothesis, best_slices = (* FUDGE *) K [(1.0, (((500, ""), ehoh_thf0, "mono_native_higher", liftingN, false), ""))],