Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
don't get confused by wrong slice
authorblanchet
Wed, 18 Aug 2010 20:53:55 +0200
changeset 38596 f881b865dcf4
parent 38595 bbb0982656eb
child 38597 db482afec7f0
don't get confused by wrong slice
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 20:17:03 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 20:53:55 2010 +0200
@@ -196,7 +196,6 @@
       (IncompleteUnprovable, "CANNOT PROVE"),
       (TimedOut, "SZS status Timeout"),
       (Unprovable, "Satisfiability detected"),
-      (OutOfResources, "Refutation not found"),
       (VampireTooOld, "not a valid option")],
    default_max_relevant_per_iter = 45 (* FIXME *),
    default_theory_relevant = false,
isabelle