CONTRIBUTORS
changeset 47695 89a90da149a9
parent 47567 407cabf66f21
child 47700 27a04da9c6e6
equal deleted inserted replaced
47694:05663f75964c 47695:89a90da149a9
     3 who is listed as an author in one of the source files of this Isabelle
     3 who is listed as an author in one of the source files of this Isabelle
     4 distribution.
     4 distribution.
     5 
     5 
     6 Contributions to Isabelle2012
     6 Contributions to Isabelle2012
     7 -----------------------------
     7 -----------------------------
       
     8 
       
     9 * April 2012: Johannes Hölzl, TUM
       
    10   Probability: Introduced type to represent measures instead of locales.
       
    11 
       
    12 * April 2012: Johannes Hölzl, Fabian Immler, TUM
       
    13   Float: Moved to Dyadic rationals to represent floating point numers.
     8 
    14 
     9 * April 2012: Thomas Sewell, NICTA
    15 * April 2012: Thomas Sewell, NICTA
    10     (based on work done with Sascha Boehme, TUM in 2010)
    16     (based on work done with Sascha Boehme, TUM in 2010)
    11   WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.
    17   WordBitwise: logic/circuit expansion of bitvector equalities/inequalities.
    12 
    18