NEWS
changeset 60515 484559628038
parent 60514 78a82c37b4b2
child 60516 0826b7025d07
     1.1 --- a/NEWS	Thu Jun 18 16:17:51 2015 +0200
     1.2 +++ b/NEWS	Fri Jun 19 15:55:22 2015 +0200
     1.3 @@ -116,8 +116,9 @@
     1.4      (e.g. add_mono ~> subset_mset.add_mono).
     1.5      INCOMPATIBILITY.
     1.6    - Renamed conversions:
     1.7 +      multiset_of ~> mset
     1.8 +      multiset_of_set ~> mset_set
     1.9        set_of ~> set_mset
    1.10 -      multiset_of_set ~> mset_set
    1.11      INCOMPATIBILITY
    1.12    - Renamed lemmas:
    1.13        mset_le_def ~> subseteq_mset_def