# HG changeset patch
# User wenzelm
# Date 1513792273 -3600
# Node ID 6f6b26557ea99b16ab7cc6e2146a62008d8adfff
# Parent  ec32cdaab97bf7ae19f82870d334631ad822175f
updated URL;

diff -r ec32cdaab97b -r 6f6b26557ea9 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Tue Dec 19 13:58:12 2017 +0100
+++ b/src/Doc/manual.bib	Wed Dec 20 18:51:13 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},