# HG changeset patch
# User haftmann
# Date 1266851028 -3600
# Node ID d28f453bf622e19828a0dcd82645056fbe14b610
# Parent  25375e49060cbd0646f0f27e854c99c8423155be
NEWS

diff -r 25375e49060c -r d28f453bf622 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.