--- 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.