src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Thu Nov 05 19:06:35 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 10 13:46:40 2009 +0100
@@ -10,6 +10,7 @@
   * Optimized Kodkod encoding of datatypes whose constructors don't appear in
     the formula to falsify
   * Added support for codatatype view of datatypes
+  * Fixed soundness bug related to sets of sets
   * Fixed monotonicity check
   * Fixed error in display of uncurried constants
   * Speeded up scope enumeration