CONTRIBUTORS
changeset 31997 de0d280c31a7
parent 31466 48805704ecc6
child 32268 d50f0cb67578
equal deleted inserted replaced
31995:8f37cf60b885 31997:de0d280c31a7
     4 distribution.
     4 distribution.
     5 
     5 
     6 
     6 
     7 Contributions to this Isabelle version
     7 Contributions to this Isabelle version
     8 --------------------------------------
     8 --------------------------------------
       
     9 
       
    10 * July 2009: Florian Haftmann, TUM
       
    11   New quickcheck implementation using new code generator
       
    12 
       
    13 * July 2009: Florian Haftmann, TUM
       
    14   HOL/Library/FSet: an explicit type of sets; finite sets ready to use for code generation
     9 
    15 
    10 * June 2009: Andreas Lochbihler, Uni Karlsruhe
    16 * June 2009: Andreas Lochbihler, Uni Karlsruhe
    11   HOL/Library/Fin_Fun: almost everywhere constant functions
    17   HOL/Library/Fin_Fun: almost everywhere constant functions
    12 
    18 
    13 * June 2009: Florian Haftmann, TUM
    19 * June 2009: Florian Haftmann, TUM