# HG changeset patch
# User nipkow
# Date 1434637071 -7200
# Node ID 78a82c37b4b25de6f2da9affca220668a62c48b7
# Parent  55c7316f76d6e77895c6c9e4893936251f7f520b
NEWS

diff -r 55c7316f76d6 -r 78a82c37b4b2 NEWS
--- 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