1.1 --- a/CONTRIBUTORS	Thu Sep 17 19:13:22 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Sep 18 07:54:26 2009 +0200
     1.3 @@ -7,6 +7,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2009: Florian Haftmann, TUM
     1.8 +  Refinement of Sets and Lattices
     1.9 +
    1.10 +* July 2009: Jeremy Avigad and Amine Chaieb
    1.11 +  New number theory
    1.12 +
    1.13  * July 2009: Philipp Meyer, TUM
    1.14    HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover
    1.15