changeset 42737 | 7e4ac591d983 |
parent 42735 | 1d375de437e9 |
child 42738 | 2a9dcff63b80 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu May 12 15:29:19 2011 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu May 12 15:29:19 2011 +0200 @@ -169,7 +169,7 @@ higher_order_irrel_weight = 1.05, abs_rel_weight = 0.5, abs_irrel_weight = 2.0, - skolem_irrel_weight = 0.75, + skolem_irrel_weight = 0.5, theory_const_rel_weight = 0.5, theory_const_irrel_weight = 0.25, chained_const_irrel_weight = 0.25,