src/Doc/Tutorial/document/fp.tex

--- a/src/Doc/Tutorial/document/fp.tex	Wed Jul 18 12:21:55 2018 +0200
+++ b/src/Doc/Tutorial/document/fp.tex	Wed Jul 18 16:44:01 2018 +0200
@@ -130,7 +130,7 @@
 Lists are one of the essential datatypes in computing.  We expect that you
 are already familiar with their basic operations.
 Theory \isa{ToyList} is only a small fragment of HOL's predefined theory
-\thydx{List}\footnote{\url{http://isabelle.in.tum.de/library/HOL/List.html}}.
+\thydx{List}\footnote{\url{https://isabelle.in.tum.de/library/HOL/List.html}}.
 The latter contains many further operations. For example, the functions
 \cdx{hd} (``head'') and \cdx{tl} (``tail'') return the first
 element and the remainder of a list. (However, pattern matching is usually