NEWS

--- a/NEWS	Wed Apr 02 17:47:56 2014 +0200
+++ b/NEWS	Wed Apr 02 18:35:01 2014 +0200
@@ -563,6 +563,11 @@
     explicit set-comprehensions with eucl_less for other (half-) open
     intervals.
 
+  - renamed theorems:
+    derivative_linear         ~>  has_derivative_bounded_linear
+    derivative_is_linear      ~>  has_derivative_linear
+    bounded_linear_imp_linear ~>  bounded_linear.linear
+
 
 *** Scala ***