author | haftmann |
Thu, 18 Nov 2010 12:37:30 +0100 | |
changeset 40598 | 16742772a9b3 |
parent 40596 | 8353cb427527 (diff) |
parent 40597 | 19b449037ace (current diff) |
child 40599 | f4b806e77fe6 |
child 40602 | 91e583511113 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Thu Nov 18 10:59:42 2010 +0100 +++ b/src/HOL/Tools/ATP/atp_systems.ML Thu Nov 18 12:37:30 2010 +0100 @@ -166,7 +166,6 @@ [(Unprovable, "UNPROVABLE"), (IncompleteUnprovable, "CANNOT PROVE"), (TimedOut, "SZS status Timeout"), - (TimedOut, "Time limit reached"), (Unprovable, "Satisfiability detected"), (Unprovable, "Termination reason: Satisfiable"), (VampireTooOld, "not a valid option"),