1.1 --- a/NEWS	Tue May 11 19:19:45 2010 +0200
     1.2 +++ b/NEWS	Wed May 12 11:07:46 2010 +0200
     1.3 @@ -145,6 +145,8 @@
     1.4  
     1.5  * Dropped theorem duplicate comp_arith; use semiring_norm instead.  INCOMPATIBILITY.
     1.6  
     1.7 +* Dropped normalizing. Use semiring classes directly. INCOMPATIBILITY.
     1.8 +
     1.9  * Theory 'Finite_Set': various folding_* locales facilitate the application
    1.10  of the various fold combinators on finite sets.
    1.11