changeset 30979 | b2da12097761 |
parent 30886 | dda08b76fa99 |
child 31466 | 48805704ecc6 |
1.1 --- a/CONTRIBUTORS Sat Apr 25 08:34:30 2009 +0200 1.2 +++ b/CONTRIBUTORS Sat Apr 25 20:05:21 2009 +0200 1.3 @@ -7,6 +7,10 @@ 1.4 Contributions to this Isabelle version 1.5 -------------------------------------- 1.6 1.7 + 1.8 +Contributions to Isabelle2009 1.9 +----------------------------- 1.10 + 1.11 * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of 1.12 Cambridge 1.13 Elementary topology in Euclidean space.