CONTRIBUTORS
changeset 33759 b369324fc244
parent 33649 854173fcd21c
child 33842 efa1b89c79e0
     1.1 --- a/CONTRIBUTORS	Thu Nov 19 11:51:37 2009 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Nov 19 11:57:30 2009 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* November 2009: Robert Himmelmann, TUM
     1.8 +  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
     1.9 +
    1.10  * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
    1.11    A tabled implementation of the reflexive transitive closure
    1.12