1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 17 19:12:10 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 17 19:47:27 2009 +0100
     1.3 @@ -12,6 +12,8 @@
     1.4    * Added support for codatatype view of datatypes
     1.5    * Fixed soundness bugs related to sets and sets of sets
     1.6    * Fixed monotonicity check
     1.7 +  * Fixed error when processing definitions that resulted in an exception
     1.8 +  * Fixed error in Kodkod encoding of "The" and "Eps"
     1.9    * Fixed error in display of uncurried constants
    1.10    * Speeded up scope enumeration
    1.11