diff -r eeaa59fb5ad8 -r 9f32d7b8b24f NEWS
--- a/NEWS	Tue Nov 30 00:12:29 2010 +0100
+++ b/NEWS	Tue Nov 30 15:58:21 2010 +0100
@@ -92,6 +92,9 @@
 
 *** HOL ***
 
+* Abandoned locale equiv for equivalence relations.  INCOMPATIBILITY: use
+equivI rather than equiv_intro.
+
 * Code generator: globbing constant expressions "*" and "Theory.*" have been
 replaced by the more idiomatic "_" and "Theory._".  INCOMPATIBILITY.