NEWS

--- 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.