src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Thu Nov 05 17:03:22 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Thu Nov 05 19:06:35 2009 +0100
@@ -9,8 +9,10 @@
   * Renamed "coalesce_type_vars" to "merge_type_vars"
   * Optimized Kodkod encoding of datatypes whose constructors don't appear in
     the formula to falsify
+  * Added support for codatatype view of datatypes
   * Fixed monotonicity check
   * Fixed error in display of uncurried constants
+  * Speeded up scope enumeration
 
 Version 1.2.2 (16 Oct 2009)