1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Aug 09 15:50:13 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Aug 09 17:33:17 2011 +0200
     1.3 @@ -417,7 +417,7 @@
     1.4  val remote_z3_atp =
     1.5    remotify_atp z3_atp "Z3" ["2.18"] (K (250, "mangled_guards?") (* FUDGE *))
     1.6  val remote_leo2 =
     1.7 -  remote_atp leo2N "LEO-II" ["1.2.6"] [] [] Axiom Hypothesis [THF]
     1.8 +  remote_atp leo2N "LEO-II" ["1.2.6"] [] [] Axiom Hypothesis [THF, FOF]
     1.9               (K (100, "simple_higher") (* FUDGE *))
    1.10  val remote_satallax =
    1.11    remote_atp satallaxN "Satallax" ["2.0"] [] [] Axiom Hypothesis [THF]