NEWS

--- a/NEWS	Sat Jul 31 23:15:17 2021 +0200
+++ b/NEWS	Sun Aug 01 10:20:34 2021 +0000
@@ -183,6 +183,9 @@
 * Combinator "Fun.swap" resolved into a mere input abbreviation in
 separate theory "Transposition" in HOL-Combinatorics. INCOMPATIBILITY.
 
+* Infix syntax for bit operations AND, OR, XOR is now organized in
+bundle bit_operations_syntax.  INCOMPATIBILITY.
+
 * Bit operations set_bit, unset_bit and flip_bit are now class
 operations. INCOMPATIBILITY.