# HG changeset patch
# User haftmann
# Date 1244880060 -7200
# Node ID 4b792a97a1fbc3c1804207c9fd60146e9712d3ef
# Parent  b72c11302b3977c3826a18da818a0a84ad36e290
quickcheck using generic code generator

diff -r b72c11302b39 -r 4b792a97a1fb NEWS
--- a/NEWS	Sat Jun 13 09:16:25 2009 +0200
+++ b/NEWS	Sat Jun 13 10:01:00 2009 +0200
@@ -27,6 +27,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 ***