1.1 --- a/src/HOL/Tools/Nitpick/HISTORY	Mon Nov 23 17:27:43 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/HISTORY	Mon Nov 23 17:59:22 2009 +0100
     1.3 @@ -10,8 +10,8 @@
     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 bugs related to sets, sets of sets, and (co)inductive
     1.8 -    predicates
     1.9 +  * Fixed soundness bugs related to sets, sets of sets, (co)inductive
    1.10 +    predicates, and typedefs
    1.11    * Fixed monotonicity check
    1.12    * Fixed error when processing definitions
    1.13    * Fixed error in "star_linear_preds" optimization