--- a/src/HOL/Tools/Nitpick/HISTORY Fri May 14 12:01:16 2010 +0200
+++ b/src/HOL/Tools/Nitpick/HISTORY Fri May 14 14:14:22 2010 +0200
@@ -14,6 +14,7 @@
* Fixed soundness bugs related to "destroy_constrs" optimization and record
getters
* Fixed soundness bug related to higher-order constructors
+ * Improved precision of set constructs
* Added cache to speed up repeated Kodkod invocations on the same problems
* Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to
"MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light"