# HG changeset patch
# User haftmann
# Date 1266594999 -3600
# Node ID 5deccc3159d00536032d9c50f994801f4f51c73b
# Parent  5d7f22e0f95616eec826ae4ae91b48ada2e23aff
NEWS

diff -r 5d7f22e0f956 -r 5deccc3159d0 NEWS
--- a/NEWS	Fri Feb 19 16:52:30 2010 +0100
+++ b/NEWS	Fri Feb 19 16:56:39 2010 +0100
@@ -97,10 +97,11 @@
 replaced by new-style primrec, especially in theory List.  The corresponding
 constants now have authentic syntax.  INCOMPATIBILITY.
 
-* Reorganized theory Multiset: less duplication, less historical
-organization of sections, conversion from associations lists to
-multisets, rudimentary code generation.  Use insert_DiffM2 [symmetric]
-instead of elem_imp_eq_diff_union, if needed.  INCOMPATIBILITY.
+* Reorganized theory Multiset: swapped notation of pointwise and multiset
+order;  less duplication, less historical organization of sections,
+conversion from associations lists to multisets, rudimentary code generation.
+Use insert_DiffM2 [symmetric] instead of elem_imp_eq_diff_union, if needed.
+INCOMPATIBILITY.
 
 * Reorganized theory Sum_Type; Inl and Inr now have authentic syntax.
 INCOMPATIBILITY.