CONTRIBUTORS
changeset 47695 89a90da149a9
parent 47567 407cabf66f21
child 47700 27a04da9c6e6
     1.1 --- a/CONTRIBUTORS	Mon Apr 23 12:14:35 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Apr 23 13:40:02 2012 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  Contributions to Isabelle2012
     1.5  -----------------------------
     1.6  
     1.7 +* April 2012: Johannes Hölzl, TUM
     1.8 +  Probability: Introduced type to represent measures instead of locales.
     1.9 +
    1.10 +* April 2012: Johannes Hölzl, Fabian Immler, TUM
    1.11 +  Float: Moved to Dyadic rationals to represent floating point numers.
    1.12 +
    1.13  * April 2012: Thomas Sewell, NICTA
    1.14      (based on work done with Sascha Boehme, TUM in 2010)
    1.15    WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.