changeset 30978 | b2da12097761 |
parent 30886 | dda08b76fa99 |
child 31466 | 48805704ecc6 |
--- a/CONTRIBUTORS Sat Apr 25 08:34:30 2009 +0200 +++ b/CONTRIBUTORS Sat Apr 25 20:05:21 2009 +0200 @@ -7,6 +7,10 @@ Contributions to this Isabelle version -------------------------------------- + +Contributions to Isabelle2009 +----------------------------- + * March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of Cambridge Elementary topology in Euclidean space.