NEWS

--- a/NEWS	Thu Sep 22 23:56:15 2005 +0200
+++ b/NEWS	Fri Sep 23 00:10:58 2005 +0200
@@ -225,6 +225,8 @@
 or ==>.  More generally, erule now works even if the major premise of
 the elimination rule contains !! or ==>.
 
+* Method "rules" has been renamed to "iprover"
+
 * Reorganized bootstrapping of the Pure theories; CPure is now derived
 from Pure, which contains all common declarations already.  Both
 theories are defined via plain Isabelle/Isar .thy files.