author nipkow Sun, 07 Nov 2021 10:07:09 +0100 changeset 75107 15beb1ef5ad1 parent 75106 d274100827b0 child 75108 f05c73bf5968 child 75109 38e5417910ab
more precise URL
 src/Doc/Main/Main_Doc.thy file | annotate | diff | comparison | revisions
--- 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}