CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Sep 17 19:13:22 2009 +0200
+++ b/CONTRIBUTORS	Fri Sep 18 07:54:26 2009 +0200
@@ -7,6 +7,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2009: Florian Haftmann, TUM
+  Refinement of Sets and Lattices
+
+* July 2009: Jeremy Avigad and Amine Chaieb
+  New number theory
+
 * July 2009: Philipp Meyer, TUM
   HOL/Library/Sum_of_Squares: functionality to call a remote csdp prover