NEWS
changeset 63560 3e3097ac37d1
parent 63553 4a72b37ac4b8
child 63579 73939a9b70a3
equal deleted inserted replaced
63559:113cee845044 63560:3e3097ac37d1
   431 linordered to preorder. Multisets have the additional typeclasses order_bot,
   431 linordered to preorder. Multisets have the additional typeclasses order_bot,
   432 no_top, ordered_ab_semigroup_add_imp_le, ordered_cancel_comm_monoid_add,
   432 no_top, ordered_ab_semigroup_add_imp_le, ordered_cancel_comm_monoid_add,
   433 linordered_cancel_ab_semigroup_add, and ordered_ab_semigroup_monoid_add_imp_le.
   433 linordered_cancel_ab_semigroup_add, and ordered_ab_semigroup_monoid_add_imp_le.
   434 INCOMPATIBILITY.
   434 INCOMPATIBILITY.
   435 
   435 
   436 * There are some new simplification rules about multisets and the multiset
   436 * There are some new simplification rules about multisets, the multiset
   437 ordering.
   437 ordering, and the subset ordering on multisets.
       
   438 INCOMPATIBILITY.
       
   439 
       
   440 * The subset ordering on multisets has now the interpretation
       
   441 ordered_ab_semigroup_monoid_add_imp_le.
   438 INCOMPATIBILITY.
   442 INCOMPATIBILITY.
   439 
   443 
   440 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
   444 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
   441 INCOMPATIBILITY.
   445 INCOMPATIBILITY.
   442 
   446