NEWS
changeset 39910 10097e0a9dbd
parent 39771 553f9b9aed28
child 39916 8c83139a1433
child 39957 2f2d90cc31a2
     1.1 --- a/NEWS	Fri Oct 01 14:15:49 2010 +0200
     1.2 +++ b/NEWS	Fri Oct 01 16:05:25 2010 +0200
     1.3 @@ -74,6 +74,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Constant `contents` renamed to `the_elem`, to free the generic name
     1.8 +contents for other uses.  INCOMPATIBILITY.
     1.9 +
    1.10  * Dropped old primrec package.  INCOMPATIBILITY.
    1.11  
    1.12  * Improved infrastructure for term evaluation using code generator