NEWS

--- a/NEWS	Fri Oct 01 14:15:49 2010 +0200
+++ b/NEWS	Fri Oct 01 16:05:25 2010 +0200
@@ -74,6 +74,9 @@
 
 *** HOL ***
 
+* Constant `contents` renamed to `the_elem`, to free the generic name
+contents for other uses.  INCOMPATIBILITY.
+
 * Dropped old primrec package.  INCOMPATIBILITY.
 
 * Improved infrastructure for term evaluation using code generator