CONTRIBUTORS
changeset 40377 0e5d48096f58
parent 40287 4af3706bcd5d
child 40379 7ea01f842830
     1.1 --- a/CONTRIBUTORS	Fri Nov 05 09:07:14 2010 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Nov 05 14:17:18 2010 +0100
     1.3 @@ -21,6 +21,9 @@
     1.4  * July 2010: Florian Haftmann, TUM
     1.5    Reworking and extension of the Imperative HOL framework.
     1.6  
     1.7 +* October 2010: Bogdan Grechuck, University of Edinburgh
     1.8 +  Extended convex analysis in Multivariate Analysis
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2009-2
    1.12  --------------------------------------