changeset 31626 | fe35b72b9ef0 |
parent 31547 | 398c0f48a99e |
parent 31624 | 4b792a97a1fb |
child 31643 | b040f1679f77 |
--- 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 ***