--- a/src/HOL/Tools/ATP/atp_systems.ML Mon May 21 11:31:52 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Mon May 21 11:31:52 2012 +0200
@@ -374,7 +374,9 @@
proof_delims = [("Here is a proof", "Formulae used in the proof")],
known_failures =
known_perl_failures @
- [(GaveUp, "SPASS beiseite: Completion found"),
+ [(OldSPASS, "SPASS V 3.5"),
+ (OldSPASS, "SPASS V 3.7"),
+ (GaveUp, "SPASS beiseite: Completion found"),
(TimedOut, "SPASS beiseite: Ran out of time"),
(OutOfResources, "SPASS beiseite: Maximal number of loops exceeded"),
(MalformedInput, "Undefined symbol"),