diff -r c69bee072501 -r d40cc6e7bfd8 doc-src/manual.bib
--- a/doc-src/manual.bib	Thu Nov 29 19:03:03 2001 +0100
+++ b/doc-src/manual.bib	Thu Nov 29 20:02:23 2001 +0100
@@ -1123,6 +1123,9 @@
   title = 	 {Type Classes and Overloading in Higher-Order Logic},
   crossref =     {tphols97}}
 
+@phdthesis{Wenzel-PhD,author={Markus Wenzel},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}
 
 
 @book{principia,