HOL-Statespace;
authorwenzelm
Sun Nov 11 16:50:27 2007 +0100 (2007-11-11)
changeset 2539835f600d9bf06
parent 25397 82deaaba928d
child 25399 595da5b9854b
HOL-Statespace;
CONTRIBUTORS
     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