sysman: Stefan Berghofer;
authorwenzelm
Thu Aug 19 21:31:36 1999 +0200 (1999-08-19)
changeset 7298e49024d43c10
parent 7297 c1eeeadbe80a
child 7299 743b22579a2f
sysman: Stefan Berghofer;
doc-src/manual.bib
     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