--- a/src/HOL/Tools/ATP/atp_systems.ML Sun Aug 06 22:54:17 2017 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Mon Aug 07 10:40:40 2017 +0200
@@ -724,7 +724,7 @@
remotify_atp satallax "Satallax" ["2.7", "2.3", "2"]
(K (((60, ""), satallax_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
val remote_vampire =
- remotify_atp vampire "Vampire" ["4.0", "3.0", "2.6"]
+ remotify_atp vampire "Vampire" ["4.2", "4.0"]
(K (((400, ""), vampire_tff0, "mono_native", combs_or_liftingN, false), remote_vampire_full_proof_command) (* FUDGE *))
val remote_e_sine =
remote_atp e_sineN "SInE" ["0.4"] [] (#known_failures e_config) Conjecture