NEWS
changeset 48013 44de84112a67
parent 47979 59ec72d3d0b9
child 48069 e9b2782c4f99
     1.1 --- a/NEWS	Tue May 29 11:41:37 2012 +0200
     1.2 +++ b/NEWS	Tue May 29 13:46:50 2012 +0200
     1.3 @@ -17,6 +17,13 @@
     1.4  configuration.
     1.5  
     1.6  
     1.7 +*** HOL ***
     1.8 +
     1.9 +* Quickcheck:
    1.10 +
    1.11 +  - added an optimisation for equality premises.
    1.12 +    It is switched on by default, and can be switched off by setting
    1.13 +    the configuration quickcheck_optimise_equality to false.    
    1.14  
    1.15  New in Isabelle2012 (May 2012)
    1.16  ------------------------------