src/Doc/Tutorial/document/basics.tex
changeset 68649 f849fc1cb65e
parent 67605 3dd0dfe04fcb
     1.1 --- a/src/Doc/Tutorial/document/basics.tex	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/src/Doc/Tutorial/document/basics.tex	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -85,7 +85,7 @@
     1.4  \end{warn}
     1.5  HOL's theory collection is available online at
     1.6  \begin{center}\small
     1.7 -    \url{http://isabelle.in.tum.de/library/HOL/}
     1.8 +    \url{https://isabelle.in.tum.de/library/HOL/}
     1.9  \end{center}
    1.10  and is recommended browsing. In subdirectory \texttt{Library} you find
    1.11  a growing library of useful theories that are not part of \isa{Main}