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