# HG changeset patch # User hoelzl # Date 1273655266 -7200 # Node ID bf8e62da7613dbf336d6c54f89c43220b2f7b2d7 # Parent 0f67561ed5a62ff127f063dbd2a3e62c26a61897 added NEWS entry diff -r 0f67561ed5a6 -r bf8e62da7613 NEWS --- 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.