NEWS
changeset 31884 6129dea3d8a9
parent 31863 e391eee8bf14
child 31900 7c35d9ad0349
     1.1 --- a/NEWS	Tue Jun 30 18:25:55 2009 +0200
     1.2 +++ b/NEWS	Tue Jun 30 19:54:04 2009 +0200
     1.3 @@ -75,6 +75,14 @@
     1.4  * "approximate" supports now arithmetic expressions as boundaries of intervals and implements
     1.5  interval splitting and taylor series expansion.
     1.6  
     1.7 +* Changed DERIV_intros to a NamedThmsFun. Each of the theorems in DERIV_intros
     1.8 +assumes composition with an additional function and matches a variable to the
     1.9 +derivative, which has to be solved by the simplifier. Hence
    1.10 +(auto intro!: DERIV_intros) computes the derivative of most elementary terms.
    1.11 +
    1.12 +* Maclauren.DERIV_tac and Maclauren.deriv_tac was removed, they are replaced by:
    1.13 +(auto intro!: DERIV_intros)
    1.14 +INCOMPATIBILITY.
    1.15  
    1.16  *** ML ***
    1.17