NEWS

 * Library/Monad_Syntax: notation uses symbols \<bind> and \<then>. INCOMPATIBILITY.
 
 * Library/Multiset:
   - Renamed multiset inclusion operators:
       < ~> <#
+      > ~> >#
       \<subset> ~> \<subset>#
+      \<supset> ~> \<supset>#
       <= ~> <=#
+      >= ~> >=#
       \<le> ~> \<le>#
+      \<ge> ~> \<ge>#
       \<subseteq> ~> \<subseteq>#
+      \<supseteq> ~> \<supseteq>#
     INCOMPATIBILITY.
   - "'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
     previously provided by these type classes (directly or indirectly)