CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Nov 05 09:07:14 2010 +0100
+++ b/CONTRIBUTORS	Fri Nov 05 14:17:18 2010 +0100
@@ -21,6 +21,9 @@
 * July 2010: Florian Haftmann, TUM
   Reworking and extension of the Imperative HOL framework.
 
+* October 2010: Bogdan Grechuck, University of Edinburgh
+  Extended convex analysis in Multivariate Analysis
+
 
 Contributions to Isabelle2009-2
 --------------------------------------