--- a/src/Doc/Main/Main_Doc.thy Sun Nov 07 09:54:17 2021 +0100
+++ b/src/Doc/Main/Main_Doc.thy Sun Nov 07 10:07:09 2021 +0100
@@ -18,7 +18,7 @@
text\<open>
\begin{abstract}
-This document lists the main types, functions and syntax provided by theory \<^theory>\<open>Main\<close>. It is meant as a quick overview of what is available. For infix operators and their precedences see the final section. The sophisticated class structure is only hinted at. For details see \<^url>\<open>https://isabelle.in.tum.de/library/HOL\<close>.
+This document lists the main types, functions and syntax provided by theory \<^theory>\<open>Main\<close>. It is meant as a quick overview of what is available. For infix operators and their precedences see the final section. The sophisticated class structure is only hinted at. For details see \<^url>\<open>https://isabelle.in.tum.de/library/HOL/HOL\<close>.
\end{abstract}
\section*{HOL}