doc-src/manual.bib
changeset 7298 e49024d43c10
parent 7209 7577d5a5dc29
child 7350 708bd83745c5
     1.1 --- a/doc-src/manual.bib	Thu Aug 19 20:05:13 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Thu Aug 19 21:31:36 1999 +0200
     1.3 @@ -619,7 +619,7 @@
     1.4    institution	= CUCL}
     1.5  
     1.6  @manual{isabelle-sys,
     1.7 -  author	= {Markus Wenzel},
     1.8 +  author	= {Markus Wenzel and Stefan Berghofer},
     1.9    title		= {The {Isabelle} System Manual},
    1.10    institution	= CUCL}
    1.11