author | blanchet |
Thu, 31 May 2018 10:59:54 +0200 | |
changeset 68329 | 9946707cf329 |
parent 68328 | 0d751da653d9 (diff) |
parent 68327 | 7d946d8bc058 (current diff) |
child 68338 | 3f60cba346aa |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed May 30 23:11:28 2018 +0100 +++ b/src/HOL/Tools/ATP/atp_systems.ML Thu May 31 10:59:54 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), ""))],