--- a/src/HOL/Tools/ATP/atp_systems.ML Sun Nov 30 15:11:50 2014 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Dec 03 17:08:24 2014 +0100
@@ -709,7 +709,7 @@
remotify_atp agsyhol "agsyHOL" ["1.0", "1"]
(K (((60, ""), agsyhol_thf0, "mono_native_higher", keep_lamsN, false), "") (* FUDGE *))
val remote_e =
- remotify_atp e "EP" ["1.7", "1.6", "1.5", "1"]
+ remotify_atp e "EP" ["1.8", "1.7", "1.6", "1.5", "1"]
(K (((750, ""), FOF, "mono_tags??", combsN, false), "") (* FUDGE *))
val remote_iprover =
remotify_atp iprover "iProver" ["0.99"]