# HG changeset patch
# User schirmer
# Date 1194862071 -3600
# Node ID b87196bb57da1e9534fb874d592319c2d29c2a73
# Parent  156f6f7082b8f0f073c7b439896f0b2161ab8663
fixed typo;

diff -r 156f6f7082b8 -r b87196bb57da 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
diff -r 156f6f7082b8 -r b87196bb57da NEWS
--- a/NEWS	Mon Nov 12 11:07:22 2007 +0100
+++ b/NEWS	Mon Nov 12 11:07:51 2007 +0100
@@ -1123,7 +1123,7 @@
 available in src/HOL/ex/ReflectionEx.thy
 
 * HOL-Statespace: ``State Spaces: The Locale Way'' introduces a
-command 'statespace' that is simular to 'record', but introduces an
+command 'statespace' that is similar to 'record', but introduces an
 abstract specification based on the locale infrastructure instead of
 HOL types.  This leads to extra flexibility in composing state spaces,
 in particular multiple inheritance and renaming of components.