diff -r ef6d67b1ad10 -r fe35b72b9ef0 NEWS
--- a/NEWS	Sat Jun 13 16:29:15 2009 +0200
+++ b/NEWS	Sat Jun 13 16:32:38 2009 +0200
@@ -37,6 +37,9 @@
 * New method "linarith" invokes existing linear arithmetic decision
 procedure only.
 
+* Implementation of quickcheck using generic code generator; default generators
+are provided for all suitable HOL types, records and datatypes.
+
 
 *** ML ***