Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_systems.ML
changeset 42999 0db96016bdbf
parent 42974 347d5197896e
child 43050 59284a13abc4 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Fri May 27 10:30:07 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Fri May 27 10:30:07 2011 +0200
@@ -387,7 +387,9 @@
    proof_delims = union (op =) tstp_proof_delims proof_delims,
    known_failures = known_failures @ known_perl_failures @
      [(Unprovable, "says Satisfiable"),
+      (Unprovable, "says CounterSatisfiable"),
       (ProofMissing, "says Theorem"),
+      (ProofMissing, "says Unsatisfiable"),
       (IncompleteUnprovable, "says Unknown"),
       (IncompleteUnprovable, "says GaveUp"),
       (TimedOut, "says Timeout"),
isabelle