1.1 --- a/NEWS	Fri Feb 19 16:52:30 2010 +0100
     1.2 +++ b/NEWS	Fri Feb 19 16:56:39 2010 +0100
     1.3 @@ -97,10 +97,11 @@
     1.4  replaced by new-style primrec, especially in theory List.  The corresponding
     1.5  constants now have authentic syntax.  INCOMPATIBILITY.
     1.6  
     1.7 -* Reorganized theory Multiset: less duplication, less historical
     1.8 -organization of sections, conversion from associations lists to
     1.9 -multisets, rudimentary code generation.  Use insert_DiffM2 [symmetric]
    1.10 -instead of elem_imp_eq_diff_union, if needed.  INCOMPATIBILITY.
    1.11 +* Reorganized theory Multiset: swapped notation of pointwise and multiset
    1.12 +order;  less duplication, less historical organization of sections,
    1.13 +conversion from associations lists to multisets, rudimentary code generation.
    1.14 +Use insert_DiffM2 [symmetric] instead of elem_imp_eq_diff_union, if needed.
    1.15 +INCOMPATIBILITY.
    1.16  
    1.17  * Reorganized theory Sum_Type; Inl and Inr now have authentic syntax.
    1.18  INCOMPATIBILITY.