diff -r 0303b3a0edde -r 7a2d9e3fcdd5 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Thu Jun 27 16:52:17 2024 +0000
+++ b/src/HOL/Main.thy	Sun Jun 30 06:30:08 2024 +0000
@@ -17,7 +17,6 @@
     Conditionally_Complete_Lattices
     Binomial
     GCD
-    Divides
 begin
 
 subsection \<open>Namespace cleanup\<close>