# 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.