--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 06 10:35:05 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Jun 06 10:35:05 2012 +0200
@@ -596,7 +596,7 @@
remotify_atp satallax "Satallax" ["2.3", "2.2", "2"]
(K ((100, satallax_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
val remote_vampire =
- remotify_atp vampire "Vampire" ["2.5", "1.8"]
+ remotify_atp vampire "Vampire" ["2.6", "2.5", "1.8"]
(K ((250, vampire_tff0, "mono_native", combs_or_liftingN, false), "") (* FUDGE *))
val remote_z3_tptp =
remotify_atp z3_tptp "Z3" ["3.0"]