1.1 --- a/doc-src/manual.bib	Fri Nov 05 16:41:56 1999 +0100
     1.2 +++ b/doc-src/manual.bib	Sat Nov 06 15:34:12 1999 +0100
     1.3 @@ -912,12 +912,12 @@
     1.4  @manual{isabelle-sys,
     1.5    author	= {Markus Wenzel and Stefan Berghofer},
     1.6    title		= {The {Isabelle} System Manual},
     1.7 -  institution	= TUM}
     1.8 +  institution	= {TU Munich}}
     1.9  
    1.10  @manual{isabelle-isar-ref,
    1.11    author	= {Markus Wenzel},
    1.12    title		= {The {Isabelle/Isar} Reference Manual},
    1.13 -  institution	= TUM}
    1.14 +  institution	= {TU Munich}}
    1.15  
    1.16  
    1.17  @InProceedings{Wenzel:1999:TPHOL,