changeset 41770 | a710e96583d5 |
parent 41769 | eb2e39555f98 |
child 41990 | 7f2793d51efc |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML Fri Feb 18 12:32:55 2011 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_atp_translate.ML Fri Feb 18 15:17:39 2011 +0100 @@ -650,8 +650,8 @@ (* FUDGE *) val conj_weight = 0.0 -val hyp_weight = 0.05 -val fact_min_weight = 0.1 +val hyp_weight = 0.1 +val fact_min_weight = 0.2 val fact_max_weight = 1.0 fun add_term_weights weight (ATerm (s, tms)) =