NEWS
changeset 31997 de0d280c31a7
parent 31971 8c1b845ed105
child 32061 11f8ee55662d
child 32066 091f1e304120
     1.1 --- a/NEWS	Sun Jul 12 14:48:01 2009 +0200
     1.2 +++ b/NEWS	Tue Jul 14 10:53:44 2009 +0200
     1.3 @@ -18,6 +18,16 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Code generator attributes follow the usual underscore convention:
     1.8 +    code_unfold     replaces    code unfold
     1.9 +    code_post       replaces    code post
    1.10 +    etc.
    1.11 +  INCOMPATIBILITY.
    1.12 +
    1.13 +* New quickcheck implementation using new code generator.
    1.14 +
    1.15 +* New type class boolean_algebra.
    1.16 +
    1.17  * Class semiring_div requires superclass no_zero_divisors and proof of
    1.18  div_mult_mult1; theorems div_mult_mult1, div_mult_mult2,
    1.19  div_mult_mult1_if, div_mult_mult1 and div_mult_mult2 have been