--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Sep 08 16:01:06 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Sep 08 19:20:52 2010 +0200
@@ -285,7 +285,7 @@
val remote_e = remotify_prover e "EP" ["1.0", "1.1", "1.2"]
val remote_vampire = remotify_prover vampire "Vampire" ["9.0", "1.0", "0.6"]
val remote_sine_e =
- remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")]
+ remote_prover "sine_e" "SInE" [] [] [(IncompleteUnprovable, "says Unknown")]
800 (* FUDGE *) true
val remote_snark =
remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] []