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