Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_problem_generate.ML
changeset 48558 fabbed3abc1e
parent 48538 726590131ca1
child 48654 ee9cba42d83d 
--- a/src/HOL/Tools/ATP/atp_problem_generate.ML	Fri Jul 27 16:35:02 2012 +0200
+++ b/src/HOL/Tools/ATP/atp_problem_generate.ML	Fri Jul 27 17:34:33 2012 +0200
@@ -2659,7 +2659,7 @@
                             ? append (map fst cs)))
                (Datatype.get_all thy) []
 
-val app_op_and_predicator_threshold = 50
+val app_op_and_predicator_threshold = 45
 
 fun prepare_atp_problem ctxt format prem_role type_enc mode lam_trans
                         uncurried_aliases readable_names preproc hyp_ts concl_t
isabelle