# HG changeset patch
# User nipkow
# Date 1636276029 -3600
# Node ID 15beb1ef5ad1accda53328eb8f44cc40db2ffd13
# Parent  d274100827b09729888517ee2362f77ca7baaa0d
more precise URL

diff -r d274100827b0 -r 15beb1ef5ad1 src/Doc/Main/Main_Doc.thy
--- 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}