--- a/src/HOL/Tools/ATP/atp_systems.ML Thu Aug 26 11:51:06 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Thu Aug 26 13:55:30 2010 +0200
@@ -293,7 +293,7 @@
(remotify_name name, remotify_config system_name system_versions config)
val remote_e = remotify_prover e "EP" ["1.0", "1.1", "1.2"]
-val remote_vampire = remotify_prover vampire "Vampire" ["9.9", "0.6", "1.0"]
+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")]
1000 (* FUDGE *) false true