equal
deleted
inserted
replaced
64 totalpI |
64 totalpI |
65 totalp_onD |
65 totalp_onD |
66 totalp_onI |
66 totalp_onI |
67 totalp_on_empty[simp] |
67 totalp_on_empty[simp] |
68 totalp_on_subset |
68 totalp_on_subset |
|
69 totalp_on_total_on_eq[pred_set_conv] |
69 |
70 |
70 * Theory "HOL-Library.Multiset": |
71 * Theory "HOL-Library.Multiset": |
71 - Consolidated operation and fact names. |
72 - Consolidated operation and fact names. |
72 multp ~> multp_code |
73 multp ~> multp_code |
73 multeqp ~> multeqp_code |
74 multeqp ~> multeqp_code |