diff -r 78a82c37b4b2 -r 484559628038 NEWS --- a/NEWS Thu Jun 18 16:17:51 2015 +0200 +++ b/NEWS Fri Jun 19 15:55:22 2015 +0200 @@ -116,8 +116,9 @@ (e.g. add_mono ~> subset_mset.add_mono). INCOMPATIBILITY. - Renamed conversions: + multiset_of ~> mset + multiset_of_set ~> mset_set set_of ~> set_mset - multiset_of_set ~> mset_set INCOMPATIBILITY - Renamed lemmas: mset_le_def ~> subseteq_mset_def