equal
deleted
inserted
replaced
12 * Theory "HOL-Library.Multiset": consolidated operation and fact names |
12 * Theory "HOL-Library.Multiset": consolidated operation and fact names |
13 multp ~> multp_code |
13 multp ~> multp_code |
14 multeqp ~> multeqp_code |
14 multeqp ~> multeqp_code |
15 multp_cancel_add_mset ~> multp_cancel_add_mset0 |
15 multp_cancel_add_mset ~> multp_cancel_add_mset0 |
16 multp_cancel_add_mset0[simplified] ~> multp_cancel_add_mset |
16 multp_cancel_add_mset0[simplified] ~> multp_cancel_add_mset |
|
17 multp_code_iff ~> multp_code_iff_mult |
|
18 multeqp_code_iff ~> multeqp_code_iff_reflcl_mult |
17 Minor INCOMPATIBILITY. |
19 Minor INCOMPATIBILITY. |
18 |
20 |
19 |
21 |
20 New in Isabelle2021-1 (December 2021) |
22 New in Isabelle2021-1 (December 2021) |
21 ------------------------------------- |
23 ------------------------------------- |