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