1.1 --- a/NEWS	Tue May 11 08:30:02 2010 +0200
     1.2 +++ b/NEWS	Tue May 11 08:36:02 2010 +0200
     1.3 @@ -140,8 +140,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 -* Theorem Presburger.int_induct has been renamed to Int.int_bidirectional_induct;
     1.8 -theorem Int.int_induct is no longer shadowed.  INCOMPATIBILITY.
     1.9 +* Theorem Int.int_induct renamed to Int.int_of_nat_induct and is
    1.10 +no longer shadowed.  INCOMPATIBILITY.
    1.11  
    1.12  * Dropped theorem duplicate comp_arith; use semiring_norm instead.  INCOMPATIBILITY.
    1.13