NEWS

--- a/NEWS	Thu Jun 27 16:52:17 2024 +0000
+++ b/NEWS	Sun Jun 30 06:30:08 2024 +0000
@@ -37,6 +37,11 @@
       wfP_multp ~> wfp_multp
       wfP_subset_mset ~> wfp_subset_mset
 
+* Transitioinal theory "Divides" moved to "HOL-Library.Divides" and supposed to
+be removed in a furure release.  Minor INCOMPATIBILITY.  Import
+"HOL-Library.Divides" and keep an eye on theorems prefixed with "Divides." to
+ease transition.
+
 
 New in Isabelle2024 (May 2024)
 ------------------------------