changeset 7966 | 4db0cdd752f7 |
parent 7858 | 2cd88d1eec0c |
child 7989 | 50ca726466c6 |
--- a/doc-src/manual.bib Thu Oct 28 16:14:03 1999 +0200 +++ b/doc-src/manual.bib Thu Oct 28 19:53:08 1999 +0200 @@ -915,7 +915,7 @@ @manual{isabelle-isar-ref, author = {Markus Wenzel}, - title = {The {Isabelle Isar} Reference Manual}, + title = {The {Isabelle/Isar} Reference Manual}, institution = TUM}