quickcheck using generic code generator
authorhaftmann
Sat Jun 13 10:01:00 2009 +0200 (2009-06-13)
changeset 316244b792a97a1fb
parent 31623 b72c11302b39
child 31625 9e4d7d60c3e7
quickcheck using generic code generator
NEWS
     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