# HG changeset patch
# User haftmann
# Date 1266826510 -3600
# Node ID 586d800321f55d61a8746b7c5560c65992cb1b42
# Parent  5deccc3159d00536032d9c50f994801f4f51c73b
NEWS

diff -r 5deccc3159d0 -r 586d800321f5 NEWS
--- a/NEWS	Fri Feb 19 16:56:39 2010 +0100
+++ b/NEWS	Mon Feb 22 09:15:10 2010 +0100
@@ -17,6 +17,12 @@
 
 *** HOL ***
 
+* Multisets: changed orderings:
+  * pointwise ordering is instance of class order with standard syntax <= and <;
+  * multiset ordering has syntax <=# and <#; partial order properties are provided
+      by means of interpretation with prefix multiset_order.
+INCOMPATIBILITY.
+
 * New set of rules "ac_simps" provides combined assoc / commute rewrites
 for all interpretations of the appropriate generic locales.