updated URL;
authorwenzelm
Wed Dec 20 18:51:13 2017 +0100 (17 months ago)
changeset 672276f6b26557ea9
parent 67226 ec32cdaab97b
child 67233 43ed806acb95
updated URL;
src/Doc/manual.bib
     1.1 --- a/src/Doc/manual.bib	Tue Dec 19 13:58:12 2017 +0100
     1.2 +++ b/src/Doc/manual.bib	Wed Dec 20 18:51:13 2017 +0100
     1.3 @@ -2056,7 +2056,7 @@
     1.4      title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents},
     1.5    school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
     1.6    year=2002,
     1.7 -  note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
     1.8 +  note =	 {\url{https://mediatum.ub.tum.de/doc/601724/601724.pdf}}}
     1.9  
    1.10  @Article{Wenzel-Wiedijk:2002,
    1.11    author = 	 {Freek Wiedijk and Markus Wenzel},