1.1 --- a/NEWS	Mon May 03 10:28:19 2010 -0700
     1.2 +++ b/NEWS	Tue May 04 08:55:34 2010 +0200
     1.3 @@ -89,6 +89,9 @@
     1.4  
     1.5  *** Pure ***
     1.6  
     1.7 +* Predicates of locales introduces by classes carry a mandatory "class"
     1.8 +prefix.  INCOMPATIBILITY.
     1.9 +
    1.10  * 'code_reflect' allows to incorporate generated ML code into
    1.11  runtime environment;  replaces immature code_datatype antiquotation.
    1.12  INCOMPATIBILITY.
    1.13 @@ -137,6 +140,9 @@
    1.14  
    1.15  *** HOL ***
    1.16  
    1.17 +* Theory 'Finite_Set': various folding_* locales facilitate the application
    1.18 +of the various fold combinators on finite sets.
    1.19 +
    1.20  * Library theory 'RBT' renamed to 'RBT_Impl'; new library theory 'RBT'
    1.21  provides abstract red-black tree type which is backed by RBT_Impl
    1.22  as implementation.  INCOMPATIBILTY.