1.1 --- a/doc-src/isac/jrocnik/references.bib	Mon Feb 20 18:31:00 2012 +0100
     1.2 +++ b/doc-src/isac/jrocnik/references.bib	Wed Mar 07 15:29:02 2012 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  @manual{wenzel2011system,
     1.5  	title={The Isabelle System Manual},
     1.6  	author={Wenzel, M. and Berghofer, S.},
     1.7 -	organization={TU München},
     1.8 +	organization={TU Muenchen},
     1.9  	year={2011},
    1.10  	month={January}
    1.11  }