1.1 --- a/doc-src/manual.bib	Tue Nov 18 13:19:13 2008 +0100
     1.2 +++ b/doc-src/manual.bib	Tue Nov 18 18:22:49 2008 +0100
     1.3 @@ -1295,11 +1295,17 @@
     1.4    note          = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
     1.5  
     1.6  @manual{isabelle-isar-ref,
     1.7 -  author	= {Markus Wenzel},
     1.8 +  author	= {Makarius Wenzel},
     1.9    title		= {The {Isabelle/Isar} Reference Manual},
    1.10    institution	= {TU Munich},
    1.11    note          = {\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
    1.12  
    1.13 +@manual{isabelle-implementation,
    1.14 +  author	= {Makarius Wenzel},
    1.15 +  title		= {The {Isabelle/Isar} Implementation},
    1.16 +  institution	= {TU Munich},
    1.17 +  note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
    1.18 +
    1.19  @manual{isabelle-axclass,
    1.20    author	= {Markus Wenzel},
    1.21    title		= {Using Axiomatic Type Classes in {I}sabelle},