CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Nov 12 11:07:22 2007 +0100
+++ b/CONTRIBUTORS	Mon Nov 12 11:07:51 2007 +0100
@@ -7,7 +7,7 @@
 Contributions to Isabelle 2007
 ------------------------------
 
-* October 2007: Normer Schirmer, TUM / Uni Saarbruecken
+* October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
   State Spaces: The Locale Way (in HOL).
 
 * October 2007: Mark A. Hillebrand, DFKI