changeset 33565 | 5fad8e36dfb1 |
parent 33558 | a2db56854b83 |
child 33581 | e1e77265fb1d |
--- a/src/HOL/Tools/Nitpick/HISTORY Thu Oct 29 11:41:11 2009 +0100 +++ b/src/HOL/Tools/Nitpick/HISTORY Thu Oct 29 11:41:37 2009 +0100 @@ -10,6 +10,7 @@ * Optimized Kodkod encoding of datatypes whose constructors don't appear in the formula to falsify * Fixed monotonicity check + * Fixed error in display of uncurried constants Version 1.2.2 (16 Oct 2009)