src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Wed Feb 24 09:59:54 2010 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Wed Feb 24 11:07:58 2010 +0100
@@ -2,6 +2,7 @@
 
   * Added and implemented "binary_ints" and "bits" options
   * Added "std" option and implemented support for nonstandard models
+  * Added support for quotient types
   * Added support for local definitions
   * Optimized "Multiset.multiset"
   * Fixed soundness bugs related to "destroy_constrs" optimization and record