CONTRIBUTORS
authorhaftmann
Mon Nov 23 16:24:28 2009 +0100 (2009-11-23)
changeset 33862fb95d9152fa9
parent 33861 39c939449d06
child 33865 8f335b40b550
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Mon Nov 23 16:15:39 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Nov 23 16:24:28 2009 +0100
     1.3 @@ -7,8 +7,11 @@
     1.4  Contributions to Isabelle2009-1
     1.5  -------------------------------
     1.6  
     1.7 +* November 2009, Brian Huffman, PSU
     1.8 +  New definitional domain package for HOLCF.
     1.9 +
    1.10  * November 2009: Robert Himmelmann, TUM
    1.11 -  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
    1.12 +  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis.
    1.13  
    1.14  * November 2009: Stefan Berghofer and Lukas Bulwahn, TUM
    1.15    A tabled implementation of the reflexive transitive closure.