doc-src/manual.bib

 %W
 
 @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,
   author = 	 {Markus Wenzel},
   title = 	 {{Isar} --- a Generic Interpretative Approach to Readable Formal Proof Documents},