NEWS
changeset 59986 f38b94549dc8
parent 59967 2fcf41a626f7
child 59991 09be0495dcc2
     1.1 --- a/NEWS	Thu Apr 09 15:54:09 2015 +0200
     1.2 +++ b/NEWS	Thu Apr 09 18:00:58 2015 +0200
     1.3 @@ -338,6 +338,10 @@
     1.4        \<subset># ~> #\<subset>#
     1.5        \<subseteq># ~> #\<subseteq>#
     1.6      INCOMPATIBILITY.
     1.7 +  - Introduced abbreviations for ill-named multiset operations:
     1.8 +      <#, \<subset># abbreviate < (strict subset)
     1.9 +      <=#, \<le>#, \<subseteq># abbreviate <= (subset or equal)
    1.10 +    INCOMPATIBILITY.
    1.11    - Renamed
    1.12        in_multiset_of ~> in_multiset_in_set
    1.13      INCOMPATIBILITY.