NEWS
changeset 60514 78a82c37b4b2
parent 60497 010c26e24c72
child 60515 484559628038
child 60523 be2d9f5ddc76
     1.1 --- a/NEWS	Thu Jun 18 16:16:17 2015 +0200
     1.2 +++ b/NEWS	Thu Jun 18 16:17:51 2015 +0200
     1.3 @@ -117,6 +117,7 @@
     1.4      INCOMPATIBILITY.
     1.5    - Renamed conversions:
     1.6        set_of ~> set_mset
     1.7 +      multiset_of_set ~> mset_set
     1.8      INCOMPATIBILITY
     1.9    - Renamed lemmas:
    1.10        mset_le_def ~> subseteq_mset_def