--- a/CONTRIBUTORS Fri Nov 05 15:09:55 2010 +0100
+++ b/CONTRIBUTORS Fri Nov 05 19:22:04 2010 +0100
@@ -6,6 +6,9 @@
Contributions to this Isabelle version
--------------------------------------
+* October 2010: Bogdan Grechuk, University of Edinburgh
+ Extended convex analysis in Multivariate Analysis.
+
* October 2010: Dmitriy Traytel, TUM
Coercive subtyping via subtype constraints.
@@ -21,9 +24,6 @@
* 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
--------------------------------------