NEWS
changeset 31624 4b792a97a1fb
parent 31481 60ae1588f232
child 31626 fe35b72b9ef0
     1.1 --- a/NEWS	Sat Jun 13 09:16:25 2009 +0200
     1.2 +++ b/NEWS	Sat Jun 13 10:01:00 2009 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4  
     1.5  * New method "linarith" invokes existing linear arithmetic decision procedure only.
     1.6  
     1.7 +* Implementation of quickcheck using generic code generator; default generators
     1.8 +are provided for all suitable HOL types, records and datatypes.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12