# HG changeset patch
# User blanchet
# Date 1312903997 -7200
# Node ID 6e943b3d27674fb9476dd911e85c616943373452
# Parent  3ea5fae095dcdec6d58d5c32a1f1e908219a9b3a
LEO-II also supports FOF

diff -r 3ea5fae095dc -r 6e943b3d2767 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Tue Aug 09 15:50:13 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue Aug 09 17:33:17 2011 +0200
@@ -417,7 +417,7 @@
 val remote_z3_atp =
   remotify_atp z3_atp "Z3" ["2.18"] (K (250, "mangled_guards?") (* FUDGE *))
 val remote_leo2 =
-  remote_atp leo2N "LEO-II" ["1.2.6"] [] [] Axiom Hypothesis [THF]
+  remote_atp leo2N "LEO-II" ["1.2.6"] [] [] Axiom Hypothesis [THF, FOF]
              (K (100, "simple_higher") (* FUDGE *))
 val remote_satallax =
   remote_atp satallaxN "Satallax" ["2.0"] [] [] Axiom Hypothesis [THF]