# HG changeset patch
# User haftmann
# Date 1204009196 -3600
# Node ID f7823a676ef735cf5811f44b549179a77feb5fc9
# Parent  dc578de1d3e925668aa6cc8c3d6bc74bb5c0d894
added accidental omissions

diff -r dc578de1d3e9 -r f7823a676ef7 NEWS
--- a/NEWS	Mon Feb 25 19:48:06 2008 +0100
+++ b/NEWS	Tue Feb 26 07:59:56 2008 +0100
@@ -46,10 +46,11 @@
 have disappeared.  Consider lemmas not_less [symmetric, where ?'a = nat]
 and less_eq [symmetric] instead.
 
-* Theory Finite_Set: locales ACf, ACIf, ACIfSL and ACIfSLlin (whose purpose 
-mainly if for various fold_set functionals) have been abandoned in favour of
-the existing algebraic classes ab_semigroup_mult, ab_semigroup_idem_mult,
-lower_semilattice (resp. upper_semilattice) and linorder.  INCOMPATIBILITY.
+* Theory Finite_Set: locales ACf, ACe, ACIf, ACIfSL and ACIfSLlin (whose purpose 
+mainly is for various fold_set functionals) have been abandoned in favour of
+the existing algebraic classes ab_semigroup_mult, comm_monoid_mult,
+ab_semigroup_idem_mult, lower_semilattice (resp. upper_semilattice) and linorder.
+INCOMPATIBILITY.
 
 * Theorem Inductive.lfp_ordinal_induct generalized to complete lattices.  The
 form set-specific version is available as Inductive.lfp_ordinal_induct_set.