diff -r 24662b614fd4 -r a6c141925a8a NEWS
--- a/NEWS	Thu Mar 31 11:16:51 2011 +0200
+++ b/NEWS	Thu Mar 31 11:16:52 2011 +0200
@@ -49,6 +49,7 @@
 * Sledgehammer:
   - sledgehammer available_provers ~> sledgehammer supported_provers
     INCOMPATIBILITY.
+  - Added "monomorphize" and "monomorphize_limit" options.
 
 * "try":
   - Added "simp:", "intro:", and "elim:" options.