changeset 75087 | f3fcc7c5a0db |
parent 75085 | ccc3a72210e6 |
child 75091 | 445ec26fe47f |
--- a/NEWS Thu Feb 17 19:42:15 2022 +0000 +++ b/NEWS Thu Feb 17 19:42:16 2022 +0000 @@ -15,6 +15,9 @@ *** HOL *** +* Rule split_of_bool_asm is not split any longer, analogously to +split_if_asm. INCOMPATIBILITY. + * Theory "HOL.Bit_Operations": rule bit_0 is not default [simp] any longer. INCOMPATIBILITY.