CONTRIBUTORS
authorhoelzl
Mon Apr 23 13:40:02 2012 +0200 (2012-04-23)
changeset 4769589a90da149a9
parent 47694 05663f75964c
child 47696 1c9c498ed4f1
CONTRIBUTORS
CONTRIBUTORS
     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.