# HG changeset patch
# User haftmann
# Date 1219988605 -7200
# Node ID 309c0a92e0da635bef95b8eb5862364afa0ea5ab
# Parent  6b90e6532d511f41964ab4cdb8895392777d5b2b
dropped parameter prefix for class theorems

diff -r 6b90e6532d51 -r 309c0a92e0da 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.