1.1 --- a/doc-src/manual.bib	Tue Feb 19 23:49:26 2002 +0100
     1.2 +++ b/doc-src/manual.bib	Tue Feb 19 23:49:49 2002 +0100
     1.3 @@ -1169,7 +1169,8 @@
     1.4  
     1.5  @phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
     1.6  a versatile environment for human-readable formal proof documents},
     1.7 -school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002}
     1.8 +school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002,
     1.9 +  note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
    1.10  
    1.11  
    1.12  @book{principia,