changeset 44486 | f24b990136cc |
parent 44450 | d848dd7b21f4 |
child 44494 | a77901b3774e |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Aug 24 09:23:26 2011 -0700 +++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Aug 24 22:12:30 2011 +0200 @@ -324,7 +324,6 @@ [(GaveUp, "UNPROVABLE"), (GaveUp, "CANNOT PROVE"), (GaveUp, "SZS status GaveUp"), - (ProofIncomplete, "predicate_definition_introduction,[]"), (TimedOut, "SZS status Timeout"), (Unprovable, "Satisfiability detected"), (Unprovable, "Termination reason: Satisfiable"),