src/HOL/Tools/Nitpick/HISTORY

--- a/src/HOL/Tools/Nitpick/HISTORY	Tue Oct 27 15:55:36 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Tue Oct 27 16:52:06 2009 +0100
@@ -6,6 +6,7 @@
     "nitpick_ind_intro" to "nitpick_intro"
   * Replaced "special_depth" and "skolemize_depth" options by "specialize"
     and "skolemize"
+  * Renamed "coalesce_type_vars" to "merge_type_vars"
   * Fixed monotonicity check
 
 Version 1.2.2 (16 Oct 2009)