| changeset 36847 | bf8e62da7613 |
| parent 36811 | 4ab4aa5bee1c |
| child 36848 | 7e6f334b294b |
--- a/NEWS Tue May 11 19:19:45 2010 +0200 +++ b/NEWS Wed May 12 11:07:46 2010 +0200 @@ -145,6 +145,8 @@ * Dropped theorem duplicate comp_arith; use semiring_norm instead. INCOMPATIBILITY. +* Dropped normalizing. Use semiring classes directly. INCOMPATIBILITY. + * Theory 'Finite_Set': various folding_* locales facilitate the application of the various fold combinators on finite sets.