NEWS

--- a/NEWS	Tue May 11 08:30:02 2010 +0200
+++ b/NEWS	Tue May 11 08:36:02 2010 +0200
@@ -140,8 +140,8 @@
 
 *** HOL ***
 
-* Theorem Presburger.int_induct has been renamed to Int.int_bidirectional_induct;
-theorem Int.int_induct is no longer shadowed.  INCOMPATIBILITY.
+* Theorem Int.int_induct renamed to Int.int_of_nat_induct and is
+no longer shadowed.  INCOMPATIBILITY.
 
 * Dropped theorem duplicate comp_arith; use semiring_norm instead.  INCOMPATIBILITY.