src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Thu Mar 11 12:22:11 2010 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Thu Mar 11 15:33:45 2010 +0100
@@ -7,6 +7,7 @@
   * Added support for quotient types
   * Added support for local definitions (for "function" and "termination"
     proofs)
+  * Added support for term postprocessors
   * Optimized "Multiset.multiset" and "FinFun.finfun"
   * Improved efficiency of "destroy_constrs" optimization
   * Fixed soundness bugs related to "destroy_constrs" optimization and record