--- a/src/Doc/manual.bib Wed Dec 20 21:52:35 2017 +0100
+++ b/src/Doc/manual.bib Wed Dec 20 22:07:05 2017 +0100
@@ -2056,7 +2056,7 @@
title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents},
school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
year=2002,
- note = {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
+ note = {\url{https://mediatum.ub.tum.de/doc/601724/601724.pdf}}}
@Article{Wenzel-Wiedijk:2002,
author = {Freek Wiedijk and Markus Wenzel},