CONTRIBUTORS
changeset 40379 7ea01f842830
parent 40377 0e5d48096f58
child 41512 8445396e1e39
     1.1 --- a/CONTRIBUTORS	Fri Nov 05 15:09:55 2010 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Nov 05 19:22:04 2010 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* October 2010: Bogdan Grechuk, University of Edinburgh
     1.8 +  Extended convex analysis in Multivariate Analysis.
     1.9 +
    1.10  * October 2010: Dmitriy Traytel, TUM
    1.11    Coercive subtyping via subtype constraints.
    1.12  
    1.13 @@ -21,9 +24,6 @@
    1.14  * July 2010: Florian Haftmann, TUM
    1.15    Reworking and extension of the Imperative HOL framework.
    1.16  
    1.17 -* October 2010: Bogdan Grechuck, University of Edinburgh
    1.18 -  Extended convex analysis in Multivariate Analysis
    1.19 -
    1.20  
    1.21  Contributions to Isabelle2009-2
    1.22  --------------------------------------