--- a/NEWS Sat Jul 11 21:32:06 2015 +0200 +++ b/NEWS Sun Jul 12 13:04:42 2015 +0200 @@ -172,6 +172,8 @@ *** HOL *** +* Quickcheck setup for finite sets. + * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY. * Sledgehammer: