diff -r ec6ce25a630d -r c67c0a729c2d src/HOL/Tools/ATP/atp_systems.ML
--- 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"]