--- 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
--- 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.