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  

     2.1 --- a/NEWS	Sun Jul 12 14:48:01 2009 +0200
     2.2 +++ b/NEWS	Tue Jul 14 10:53:44 2009 +0200
     2.3 @@ -18,6 +18,16 @@
     2.4  
     2.5  *** HOL ***
     2.6  
     2.7 +* Code generator attributes follow the usual underscore convention:
     2.8 +    code_unfold     replaces    code unfold
     2.9 +    code_post       replaces    code post
    2.10 +    etc.
    2.11 +  INCOMPATIBILITY.
    2.12 +
    2.13 +* New quickcheck implementation using new code generator.
    2.14 +
    2.15 +* New type class boolean_algebra.
    2.16 +
    2.17  * Class semiring_div requires superclass no_zero_divisors and proof of
    2.18  div_mult_mult1; theorems div_mult_mult1, div_mult_mult2,
    2.19  div_mult_mult1_if, div_mult_mult1 and div_mult_mult2 have been