CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Nov 19 11:51:37 2009 +0100
+++ b/CONTRIBUTORS	Thu Nov 19 11:57:30 2009 +0100
@@ -7,6 +7,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* November 2009: Robert Himmelmann, TUM
+  Derivation and Brouwer's fixpoint theorem in Multivariate Analysis
+
 * November 2009: Stefan Berghofer, Lukas Bulwahn, TUM
   A tabled implementation of the reflexive transitive closure