--- a/src/Doc/Isar_Ref/Spec.thy Mon Jan 27 18:32:18 2025 +0100
+++ b/src/Doc/Isar_Ref/Spec.thy Mon Jan 27 20:29:02 2025 +0100
@@ -296,6 +296,7 @@
\<^item> @{command translations} versus @{command no_translations}
\<^item> @{command notation} versus @{command no_notation}
\<^item> @{command type_notation} versus @{command no_type_notation}
+ \<^item> @{command adhoc_overloading} versus @{command no_adhoc_overloading}
This also works recursively for the @{command unbundle} command as
declaration inside a @{command bundle} definition: \<^verbatim>\<open>no\<close> means that