CONTRIBUTORS
changeset 25409 b87196bb57da
parent 25398 35f600d9bf06
child 25449 f3d5111a9c4b
     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