--- a/NEWS Thu Jun 18 16:16:17 2015 +0200
+++ b/NEWS Thu Jun 18 16:17:51 2015 +0200
@@ -117,6 +117,7 @@
INCOMPATIBILITY.
- Renamed conversions:
set_of ~> set_mset
+ multiset_of_set ~> mset_set
INCOMPATIBILITY
- Renamed lemmas:
mset_le_def ~> subseteq_mset_def