1.1 --- a/doc-src/manual.bib	Thu Nov 29 19:03:03 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Thu Nov 29 20:02:23 2001 +0100
     1.3 @@ -1123,6 +1123,9 @@
     1.4    title = 	 {Type Classes and Overloading in Higher-Order Logic},
     1.5    crossref =     {tphols97}}
     1.6  
     1.7 +@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
     1.8 +a versatile environment for human-readable formal proof documents},
     1.9 +school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002}
    1.10  
    1.11  
    1.12  @book{principia,