# HG changeset patch
# User Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de>
# Date 1433936299 -7200
# Node ID ee390872389a3bc56bee0eee7a312c8b77aee44a
# Parent  f8a513fedb310feefbd1f0283b804a3b745af31e
tuned

diff -r f8a513fedb31 -r ee390872389a NEWS
--- a/NEWS	Wed Jun 10 13:24:16 2015 +0200
+++ b/NEWS	Wed Jun 10 13:38:19 2015 +0200
@@ -62,9 +62,10 @@
     are now available through the "subset_mset" interpretation
     (e.g. add_mono ~> subset_mset.add_mono).
     INCOMPATIBILITY.
-  - Removing mset_le_def:
-    mset_le_def ~> subseteq_mset_def
-    mset_less_def ~> subset_mset_def
+  - Renamed lemmas:
+      mset_le_def ~> subseteq_mset_def
+      mset_less_def ~> subset_mset_def
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------