NEWS

--- a/NEWS	Fri Aug 27 15:36:02 2010 +0200
+++ b/NEWS	Fri Aug 27 19:34:23 2010 +0200
@@ -56,6 +56,10 @@
 
 *** HOL ***
 
+* Renamed class eq and constant eq (for code generation) to class equal
+and constant equal, plus renaming of related facts and various tuning.
+INCOMPATIBILITY.
+
 * Scala (2.8 or higher) has been added to the target languages of
 the code generator.