NEWS
authornipkow
Wed Jun 17 17:33:22 2015 +0200 (2015-06-17)
changeset 60497010c26e24c72
parent 60496 12f58a22eb11
child 60498 c8141ac6f03f
child 60502 aa58872267ee
NEWS
NEWS
     1.1 --- a/NEWS	Wed Jun 17 17:21:20 2015 +0200
     1.2 +++ b/NEWS	Wed Jun 17 17:33:22 2015 +0200
     1.3 @@ -115,6 +115,9 @@
     1.4      are now available through the "subset_mset" interpretation
     1.5      (e.g. add_mono ~> subset_mset.add_mono).
     1.6      INCOMPATIBILITY.
     1.7 +  - Renamed conversions:
     1.8 +      set_of ~> set_mset
     1.9 +    INCOMPATIBILITY
    1.10    - Renamed lemmas:
    1.11        mset_le_def ~> subseteq_mset_def
    1.12        mset_less_def ~> subset_mset_def