# HG changeset patch
# User wenzelm
# Date 941898852 -3600
# Node ID 5244d7ed31b919994a04bc5783b7ecce97fbd42a
# Parent  fb83cbd469bb1075ea662e30b5ef0b5ff1444dfe
tuned;

diff -r fb83cbd469bb -r 5244d7ed31b9 doc-src/manual.bib
--- 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,