src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Tue Oct 27 17:53:19 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Oct 27 19:00:17 2009 +0100
@@ -7,6 +7,8 @@
   * Replaced "special_depth" and "skolemize_depth" options by "specialize"
     and "skolemize"
   * Renamed "coalesce_type_vars" to "merge_type_vars"
+  * Optimized Kodkod encoding of datatypes whose constructors don't appear in
+    the formula to falsify
   * Fixed monotonicity check
 
 Version 1.2.2 (16 Oct 2009)