NEWS

--- a/NEWS	Tue May 29 11:41:37 2012 +0200
+++ b/NEWS	Tue May 29 13:46:50 2012 +0200
@@ -17,6 +17,13 @@
 configuration.
 
 
+*** HOL ***
+
+* Quickcheck:
+
+  - added an optimisation for equality premises.
+    It is switched on by default, and can be switched off by setting
+    the configuration quickcheck_optimise_equality to false.    
 
 New in Isabelle2012 (May 2012)
 ------------------------------