1.1 --- a/NEWS	Fri Dec 03 08:40:47 2010 +0100
     1.2 +++ b/NEWS	Fri Dec 03 09:58:32 2010 +0100
     1.3 @@ -101,6 +101,14 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Quickcheck now by default uses exhaustive testing instead of random testing.
     1.8 +Random testing can be invoked by quickcheck[random],
     1.9 +exhaustive testing by quickcheck[exhaustive].
    1.10 +
    1.11 +* Quickcheck instantiates polymorphic types with small finite datatypes
    1.12 +by default. This enables a simple execution mechanism to handle
    1.13 +quantifiers and function equality over the finite datatypes.   
    1.14 +
    1.15  * Functions can be declared as coercions and type inference will add them
    1.16  as necessary upon input of a term. In Complex_Main, real :: nat => real
    1.17  and real :: int => real are declared as coercions. A new coercion function