1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 12:29:08 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Nov 24 13:22:18 2009 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4      the formula to falsify
     1.5    * Added support for codatatype view of datatypes
     1.6    * Fixed soundness bugs related to sets, sets of sets, (co)inductive
     1.7 -    predicates, typedefs, and "finite"
     1.8 +    predicates, typedefs, "finite", and negative literals
     1.9    * Fixed monotonicity check
    1.10    * Fixed error when processing definitions
    1.11    * Fixed error in "star_linear_preds" optimization