CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Sep 07 23:07:16 2011 +0200
+++ b/CONTRIBUTORS	Wed Sep 07 23:38:52 2011 +0200
@@ -6,6 +6,12 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2011: Peter Gammie
+  Theory HOL/Libary/Saturated: numbers with saturated arithmetic.
+
+* August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM
+  Refined theory on complete lattices.
+
 
 Contributions to Isabelle2011
 -----------------------------