# HG changeset patch
# User nipkow
# Date 1434555202 -7200
# Node ID 010c26e24c7261a978869e645cffcfe9b2bbbdec
# Parent  12f58a22eb110d414622dbadb49b01fc606e12ed
NEWS

diff -r 12f58a22eb11 -r 010c26e24c72 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