# HG changeset patch
# User blanchet
# Date 1453309481 -3600
# Node ID 009c6e0b44bba78292d689ee24da0bbf287ac5d0
# Parent  ad43b3ab06e49847ca82b9b0ce5f22be542f77af
fixed NEWS w.r.t. multisets

diff -r ad43b3ab06e4 -r 009c6e0b44bb NEWS
--- a/NEWS	Wed Jan 20 17:14:53 2016 +0100
+++ b/NEWS	Wed Jan 20 18:04:41 2016 +0100
@@ -649,15 +649,16 @@
   - Renamed multiset inclusion operators:
       < ~> <#
       > ~> >#
-      \<subset> ~> \<subset>#
-      \<supset> ~> \<supset>#
       <= ~> <=#
       >= ~> >=#
       \<le> ~> \<le>#
       \<ge> ~> \<ge>#
-      \<subseteq> ~> \<subseteq>#
-      \<supseteq> ~> \<supseteq>#
     INCOMPATIBILITY.
+  - Added multiset inclusion operator syntax:
+      \<subset>#
+      \<subseteq>#
+      \<supset>#
+      \<supseteq>#
   - "'a multiset" is no longer an instance of the "order",
     "ordered_ab_semigroup_add_imp_le", "ordered_cancel_comm_monoid_diff",
     "semilattice_inf", and "semilattice_sup" type classes. The theorems