--- a/NEWS Fri Apr 04 23:12:20 2025 +0200
+++ b/NEWS Sat Apr 05 08:49:53 2025 +0200
@@ -40,6 +40,9 @@
*** HOL ***
+* Theory "HOL-Library.Code_Target_Bit_Shifts" incorporated into HOL-Main.
+Minor INCOMPATIBILITY.
+
* Theory "HOL.Fun":
- Added lemmas.
antimonotone_on_inf_fun