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