1.1 --- a/doc-src/manual.bib	Wed Aug 13 12:28:53 2003 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Aug 13 17:24:59 2003 +0200
     1.3 @@ -731,6 +731,13 @@
     1.4    year		= 1995,
     1.5    pages		= {201-224}}
     1.6  
     1.7 +@Book{isa-tutorial,
     1.8 +  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
     1.9 +  title		= {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
    1.10 +  publisher	= {Springer},
    1.11 +  year		= 2002,
    1.12 +  note		= {LNCS Tutorial 2283}}
    1.13 +
    1.14  @Article{noel,
    1.15    author	= {Philippe No{\"e}l},
    1.16    title		= {Experimenting with {Isabelle} in {ZF} Set Theory},
    1.17 @@ -1167,12 +1174,13 @@
    1.18    title = 	 {Type Classes and Overloading in Higher-Order Logic},
    1.19    crossref =     {tphols97}}
    1.20  
    1.21 -@phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
    1.22 -a versatile environment for human-readable formal proof documents},
    1.23 -school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002,
    1.24 +@phdthesis{Wenzel-PhD,
    1.25 +  author={Markus Wenzel},
    1.26 +    title={Isabelle/Isar --- a versatile environment for human-readable formal proof documents},
    1.27 +  school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},
    1.28 +  year=2002,
    1.29    note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
    1.30  
    1.31 -
    1.32  @book{principia,
    1.33    author	= {A. N. Whitehead and B. Russell},
    1.34    title		= {Principia Mathematica},