src/HOL/Tools/ATP/atp_systems.ML
changeset 41742 11e862c68b40
parent 41741 839d1488045f
child 41744 a18e7bbca258
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Feb 09 17:18:58 2011 +0100
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Feb 09 17:18:58 2011 +0100
     1.3 @@ -241,7 +241,8 @@
     1.4     has_incomplete_mode = false,
     1.5     proof_delims = [],
     1.6     known_failures =
     1.7 -     [(IncompleteUnprovable, "\nsat"),
     1.8 +     [(Unprovable, "\nsat"),
     1.9 +      (IncompleteUnprovable, "\nunknown"),
    1.10        (ProofMissing, "\nunsat")],
    1.11     default_max_relevant = 250 (* FUDGE *),
    1.12     explicit_forall = true,