Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
disabled choice in Satallax
authorblanchet
Tue, 21 May 2013 09:02:58 +0200
changeset 52097 f353fe3c2b92
parent 52096 7e9cd79e25b3
child 52098 6c38df1d294a
disabled choice in Satallax
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- 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"]),
isabelle