| changeset 45791 | d985ec974815 |
| parent 45759 | f8cc1f6528fb |
| child 45804 | 3a3e4c58083c |
--- a/NEWS Thu Dec 08 13:53:28 2011 +0100 +++ b/NEWS Fri Dec 09 11:31:13 2011 +0100 @@ -137,6 +137,10 @@ zero_less_zpower_abs_iff ~> zero_less_power_abs_iff zero_le_zpower_abs ~> zero_le_power_abs +* Theory Deriv: Renamed + + DERIV_nonneg_imp_nonincreasing ~> DERIV_nonneg_imp_nondecreasing + * New "case_product" attribute to generate a case rule doing multiple case distinctions at the same time. E.g.