# HG changeset patch
# User hoelzl
# Date 1335181202 -7200
# Node ID 89a90da149a9fa44755916fef8bfae3c642dd5bd
# Parent  05663f75964c70583a5bb479abc20ae42eab12c0
CONTRIBUTORS

diff -r 05663f75964c -r 89a90da149a9 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Apr 23 12:14:35 2012 +0200
+++ b/CONTRIBUTORS	Mon Apr 23 13:40:02 2012 +0200
@@ -6,6 +6,12 @@
 Contributions to Isabelle2012
 -----------------------------
 
+* April 2012: Johannes Hölzl, TUM
+  Probability: Introduced type to represent measures instead of locales.
+
+* April 2012: Johannes Hölzl, Fabian Immler, TUM
+  Float: Moved to Dyadic rationals to represent floating point numers.
+
 * April 2012: Thomas Sewell, NICTA
     (based on work done with Sascha Boehme, TUM in 2010)
   WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.