equal
deleted
inserted
replaced
16 |
16 |
17 * Theory "HOL-Library.Multiset": |
17 * Theory "HOL-Library.Multiset": |
18 - Renamed lemmas. Minor INCOMPATIBILITY. |
18 - Renamed lemmas. Minor INCOMPATIBILITY. |
19 filter_image_mset ~> filter_mset_image_mset |
19 filter_image_mset ~> filter_mset_image_mset |
20 - Added lemmas. |
20 - Added lemmas. |
|
21 filter_mset_eq_mempty_iff |
21 filter_mset_mono_strong |
22 filter_mset_mono_strong |
22 filter_mset_sum_list |
23 filter_mset_sum_list |
23 set_mset_sum_list[simp] |
24 set_mset_sum_list[simp] |
24 |
25 |
25 |
26 |