NEWS

--- a/NEWS	Tue Feb 03 19:48:06 2009 +0100
+++ b/NEWS	Tue Feb 03 21:26:21 2009 +0100
@@ -193,6 +193,9 @@
 
 *** HOL ***
 
+* Auxiliary class "itself" has disappeared -- classes without any parameter
+are treated as expected by the 'class' command.
+
 * Theory "Reflection" now resides in HOL/Library.  Common reflection examples
 (Cooper, MIR, Ferrack) now in distinct session directory HOL/Reflection.