NEWS

--- a/NEWS	Thu Aug 28 22:26:23 2008 +0200
+++ b/NEWS	Fri Aug 29 07:43:25 2008 +0200
@@ -19,6 +19,9 @@
 
 *** Pure ***
 
+* Global versions of theorems stemming from classes do not carry
+a parameter prefix any longer.  INCOMPATIBILITY.
+
 * Dropped "locale (open)".  INCOMPATBILITY.
 
 * Command 'interpretation' no longer attempts to simplify goal.