CONTRIBUTORS
changeset 31997 de0d280c31a7
parent 31466 48805704ecc6
child 32268 d50f0cb67578
     1.1 --- a/CONTRIBUTORS	Sun Jul 12 14:48:01 2009 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Jul 14 10:53:44 2009 +0200
     1.3 @@ -7,6 +7,12 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* July 2009: Florian Haftmann, TUM
     1.8 +  New quickcheck implementation using new code generator
     1.9 +
    1.10 +* July 2009: Florian Haftmann, TUM
    1.11 +  HOL/Library/FSet: an explicit type of sets; finite sets ready to use for code generation
    1.12 +
    1.13  * June 2009: Andreas Lochbihler, Uni Karlsruhe
    1.14    HOL/Library/Fin_Fun: almost everywhere constant functions
    1.15