NEWS

--- a/NEWS	Mon Dec 20 15:24:25 2010 +0100
+++ b/NEWS	Mon Dec 20 16:44:33 2010 +0100
@@ -603,7 +603,9 @@
 
 *** FOL and ZF ***
 
-* All constant names are now qualified.  INCOMPATIBILITY.
+* All constant names are now qualified internally and use proper
+identifiers, e.g. "IFOL.eq" instead of "op =".  INCOMPATIBILITY.
+
 
 
 *** ML ***