diff -r 78a82c37b4b2 -r 484559628038 NEWS
--- a/NEWS	Thu Jun 18 16:17:51 2015 +0200
+++ b/NEWS	Fri Jun 19 15:55:22 2015 +0200
@@ -116,8 +116,9 @@
     (e.g. add_mono ~> subset_mset.add_mono).
     INCOMPATIBILITY.
   - Renamed conversions:
+      multiset_of ~> mset
+      multiset_of_set ~> mset_set
       set_of ~> set_mset
-      multiset_of_set ~> mset_set
     INCOMPATIBILITY
   - Renamed lemmas:
       mset_le_def ~> subseteq_mset_def