more precise URL
authornipkow
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
--- 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}