src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Jan 26 22:45:57 2025 +0100
+++ b/src/HOL/ROOT	Mon Jan 27 12:13:37 2025 +0100
@@ -22,7 +22,7 @@
   sessions
     "HOL-Computational_Algebra"
   theories
-    Adhoc_Overloading_Examples
+    Adhoc_Overloading
     Ackermann
     Cantor
     Coherent