NEWS

--- a/NEWS	Mon Feb 22 16:03:44 2010 +0100
+++ b/NEWS	Mon Feb 22 16:03:48 2010 +0100
@@ -122,9 +122,6 @@
 
 INCOMPATIBILITY.
 
-* New theory Algebras contains generic algebraic structures and
-generic algebraic operations.
-
 * HOLogic.strip_psplit: types are returned in syntactic order, similar
 to other strip and tuple operations.  INCOMPATIBILITY.