NEWS

--- a/NEWS	Mon Mar 25 19:53:44 2013 +0100
+++ b/NEWS	Mon Mar 25 20:00:27 2013 +0100
@@ -92,6 +92,14 @@
       isar_shrink ~> isar_compress
 
 
+*** HOL-Algebra ***
+
+* Discontinued theories src/HOL/Algebra/abstract and .../poly.
+Existing theories should be based on src/HOL/Library/Polynomial
+instead.  The latter provides integration with HOL's type classes for
+rings.  INCOMPATIBILITY.
+
+
 *** System ***
 
 * Discontinued "isabelle usedir" option -P (remote path) and -r (reset