NEWS

--- a/NEWS	Wed Jun 17 17:21:20 2015 +0200
+++ b/NEWS	Wed Jun 17 17:33:22 2015 +0200
@@ -115,6 +115,9 @@
     are now available through the "subset_mset" interpretation
     (e.g. add_mono ~> subset_mset.add_mono).
     INCOMPATIBILITY.
+  - Renamed conversions:
+      set_of ~> set_mset
+    INCOMPATIBILITY
   - Renamed lemmas:
       mset_le_def ~> subseteq_mset_def
       mset_less_def ~> subset_mset_def