--- a/src/HOL/Tools/Nitpick/HISTORY Wed Feb 24 09:19:21 2010 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY Wed Feb 24 09:59:54 2010 +0100
@@ -2,6 +2,8 @@
* Added and implemented "binary_ints" and "bits" options
* Added "std" option and implemented support for nonstandard models
+ * Added support for local definitions
+ * Optimized "Multiset.multiset"
* Fixed soundness bugs related to "destroy_constrs" optimization and record
getters
* Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to