src/HOL/Tools/ATP/atp_systems.ML
changeset 52097 f353fe3c2b92
parent 52095 17c60b5336fc
child 52151 de43876e77bf
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Tue May 21 09:02:58 2013 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Tue May 21 09:02:58 2013 +0200
     1.3 @@ -485,8 +485,9 @@
     1.4  
     1.5  (* Satallax *)
     1.6  
     1.7 +(* Choice is disabled until there is proper reconstruction for it. *)
     1.8  val satallax_thf0 =
     1.9 -  THF (Monomorphic, TPTP_Explicit, THF_With_Choice, THF_With_Defs)
    1.10 +  THF (Monomorphic, TPTP_Explicit, THF_Without_Choice, THF_With_Defs)
    1.11  
    1.12  val satallax_config : atp_config =
    1.13    {exec = (["SATALLAX_HOME"], ["satallax.opt", "satallax"]),