CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Nov 11 16:45:47 2007 +0100
+++ b/CONTRIBUTORS	Sun Nov 11 16:50:27 2007 +0100
@@ -7,6 +7,9 @@
 Contributions to Isabelle 2007
 ------------------------------
 
+* October 2007: Normer Schirmer, TUM / Uni Saarbruecken
+  State Spaces: The Locale Way (in HOL).
+
 * October 2007: Mark A. Hillebrand, DFKI
   Robust sub/superscripts in LaTeX document output.