CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Aug 23 17:46:13 2010 +0200
+++ b/CONTRIBUTORS	Mon Aug 23 19:35:57 2010 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
+  Rewriting the Probability theory.
+
 * July 2010: Florian Haftmann, TUM
   Reworking and extension of the Isabelle/HOL framework.