# HG changeset patch
# User haftmann
# Date 1272956134 -7200
# Node ID e4b15114869a050fbc883dd81a5151b424340011
# Parent  f96aa31b739da4f98776e7bfc0d9d080c6882b58
NEWS

diff -r f96aa31b739d -r e4b15114869a NEWS
--- a/NEWS	Mon May 03 10:28:19 2010 -0700
+++ b/NEWS	Tue May 04 08:55:34 2010 +0200
@@ -89,6 +89,9 @@
 
 *** Pure ***
 
+* Predicates of locales introduces by classes carry a mandatory "class"
+prefix.  INCOMPATIBILITY.
+
 * 'code_reflect' allows to incorporate generated ML code into
 runtime environment;  replaces immature code_datatype antiquotation.
 INCOMPATIBILITY.
@@ -137,6 +140,9 @@
 
 *** HOL ***
 
+* Theory 'Finite_Set': various folding_* locales facilitate the application
+of the various fold combinators on finite sets.
+
 * Library theory 'RBT' renamed to 'RBT_Impl'; new library theory 'RBT'
 provides abstract red-black tree type which is backed by RBT_Impl
 as implementation.  INCOMPATIBILTY.