| changeset 63524 | 4ec755485732 |
| parent 63513 | 9f8d06f23c09 |
| child 63525 | f01d1e393f3f |
--- a/NEWS Tue Jul 19 16:50:39 2016 +0200 +++ b/NEWS Wed Jul 20 13:51:38 2016 +0200 @@ -402,6 +402,9 @@ less_multiset_plus_plus_right_iff ~> le_multiset_plus_plus_right_iff INCOMPATIBILITY. +* The lemma mset_map has now the attribute [simp]. +INCOMPATIBILITY. + * Some typeclass constraints about multisets have been reduced from ordered or linordered to preorder. Multisets have the additional typeclasses order_bot, no_top, ordered_ab_semigroup_add_imp_le, ordered_cancel_comm_monoid_add,