diff -r 2aa8bab841d7 -r fabbed3abc1e src/HOL/Tools/ATP/atp_problem_generate.ML
--- 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