NEWS

--- a/NEWS	Mon Apr 04 18:53:35 2011 +0200
+++ b/NEWS	Mon Apr 04 19:09:10 2011 +0200
@@ -49,7 +49,7 @@
 * Sledgehammer:
   - sledgehammer available_provers ~> sledgehammer supported_provers
     INCOMPATIBILITY.
-  - Added "monomorphize" and "monomorphize_limit" options.
+  - Added "monomorphize", "monomorphize_limit", and "type_sys" options.
 
 * "try":
   - Added "simp:", "intro:", and "elim:" options.