CONTRIBUTORS
changeset 25398 35f600d9bf06
parent 25057 021fcbe2aaa5
child 25409 b87196bb57da
     1.1 --- a/CONTRIBUTORS	Sun Nov 11 16:45:47 2007 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Nov 11 16:50:27 2007 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to Isabelle 2007
     1.5  ------------------------------
     1.6  
     1.7 +* October 2007: Normer Schirmer, TUM / Uni Saarbruecken
     1.8 +  State Spaces: The Locale Way (in HOL).
     1.9 +
    1.10  * October 2007: Mark A. Hillebrand, DFKI
    1.11    Robust sub/superscripts in LaTeX document output.
    1.12