tuned;

--- a/doc-src/manual.bib	Fri Nov 05 16:41:56 1999 +0100
+++ b/doc-src/manual.bib	Sat Nov 06 15:34:12 1999 +0100
@@ -912,12 +912,12 @@
 @manual{isabelle-sys,
   author	= {Markus Wenzel and Stefan Berghofer},
   title		= {The {Isabelle} System Manual},
-  institution	= TUM}
+  institution	= {TU Munich}}
 
 @manual{isabelle-isar-ref,
   author	= {Markus Wenzel},
   title		= {The {Isabelle/Isar} Reference Manual},
-  institution	= TUM}
+  institution	= {TU Munich}}
 
 
 @InProceedings{Wenzel:1999:TPHOL,