NEWS
changeset 56369 2704ca85be98
parent 56342 075397022503
child 56371 fb9ae0727548
     1.1 --- a/NEWS	Wed Apr 02 17:47:56 2014 +0200
     1.2 +++ b/NEWS	Wed Apr 02 18:35:01 2014 +0200
     1.3 @@ -563,6 +563,11 @@
     1.4      explicit set-comprehensions with eucl_less for other (half-) open
     1.5      intervals.
     1.6  
     1.7 +  - renamed theorems:
     1.8 +    derivative_linear         ~>  has_derivative_bounded_linear
     1.9 +    derivative_is_linear      ~>  has_derivative_linear
    1.10 +    bounded_linear_imp_linear ~>  bounded_linear.linear
    1.11 +
    1.12  
    1.13  *** Scala ***
    1.14