changeset 40377 | 0e5d48096f58 |
parent 40287 | 4af3706bcd5d |
child 40379 | 7ea01f842830 |
--- 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 --------------------------------------