# 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