1.1 --- a/NEWS	Thu May 06 17:55:12 2010 +0200
     1.2 +++ b/NEWS	Thu May 06 17:59:19 2010 +0200
     1.3 @@ -140,6 +140,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Dropped theorem duplicate comp_arith; use semiring_norm instead.  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