# HG changeset patch # User hoelzl # Date 1246384444 -7200 # Node ID 6129dea3d8a936b56ac7bcc08554d3db24191503 # Parent 9e5bdbae677db9850e0b2d4abb7cb7c1f422b030 NEWS updated diff -r 9e5bdbae677d -r 6129dea3d8a9 NEWS --- a/NEWS Tue Jun 30 18:25:55 2009 +0200 +++ b/NEWS Tue Jun 30 19:54:04 2009 +0200 @@ -75,6 +75,14 @@ * "approximate" supports now arithmetic expressions as boundaries of intervals and implements interval splitting and taylor series expansion. +* Changed DERIV_intros to a NamedThmsFun. Each of the theorems in DERIV_intros +assumes composition with an additional function and matches a variable to the +derivative, which has to be solved by the simplifier. Hence +(auto intro!: DERIV_intros) computes the derivative of most elementary terms. + +* Maclauren.DERIV_tac and Maclauren.deriv_tac was removed, they are replaced by: +(auto intro!: DERIV_intros) +INCOMPATIBILITY. *** ML ***