diff -r f080397656d8 -r 431c96ac997e NEWS
--- a/NEWS	Tue Sep 12 17:34:50 2000 +0200
+++ b/NEWS	Tue Sep 12 17:35:09 2000 +0200
@@ -54,7 +54,8 @@
 
 * Isar/Provers: intro/elim/dest attributes: changed
 intro/intro!/intro!!  flags to intro!/intro/intro? (in most cases, one
-should have to change intro!! to intro? only);
+should have to change intro!! to intro? only); replaced "delrule" by
+"rule del";
 
 * Isar: changed syntax of local blocks from {{ }} to { };
 
@@ -193,7 +194,7 @@
 
 * Provers: intro/elim/dest attributes: changed intro/intro!/intro!!
 flags to intro!/intro/intro? (in most cases, one should have to change
-intro!! to intro? only);
+intro!! to intro? only); replaced "delrule" by "rule del";
 
 * names of theorems etc. may be natural numbers as well;