fixed typo;
authorschirmer
Mon Nov 12 11:07:51 2007 +0100 (2007-11-12)
changeset 25409b87196bb57da
parent 25408 156f6f7082b8
child 25410 0ba2d51bcb42
fixed typo;
CONTRIBUTORS
NEWS
     1.1 --- a/CONTRIBUTORS	Mon Nov 12 11:07:22 2007 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 12 11:07:51 2007 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  Contributions to Isabelle 2007
     1.5  ------------------------------
     1.6  
     1.7 -* October 2007: Normer Schirmer, TUM / Uni Saarbruecken
     1.8 +* October 2007: Norbert Schirmer, TUM / Uni Saarbruecken
     1.9    State Spaces: The Locale Way (in HOL).
    1.10  
    1.11  * October 2007: Mark A. Hillebrand, DFKI
     2.1 --- a/NEWS	Mon Nov 12 11:07:22 2007 +0100
     2.2 +++ b/NEWS	Mon Nov 12 11:07:51 2007 +0100
     2.3 @@ -1123,7 +1123,7 @@
     2.4  available in src/HOL/ex/ReflectionEx.thy
     2.5  
     2.6  * HOL-Statespace: ``State Spaces: The Locale Way'' introduces a
     2.7 -command 'statespace' that is simular to 'record', but introduces an
     2.8 +command 'statespace' that is similar to 'record', but introduces an
     2.9  abstract specification based on the locale infrastructure instead of
    2.10  HOL types.  This leads to extra flexibility in composing state spaces,
    2.11  in particular multiple inheritance and renaming of components.