NEWS

--- a/NEWS	Fri Nov 06 13:49:19 2009 +0100
+++ b/NEWS	Fri Nov 06 14:42:42 2009 +0100
@@ -227,7 +227,9 @@
 * Maclauren.DERIV_tac and Maclauren.deriv_tac was removed, they are
 replaced by: (auto intro!: DERIV_intros).  INCOMPATIBILITY.
 
-* Renamed method "sizechange" to "size_change".
+* Renamed methods:
+    sizechange -> size_change
+    induct_scheme -> induction_schema
 
 
 *** ML ***