--- a/NEWS Tue Sep 04 17:31:18 2001 +0200
+++ b/NEWS Tue Sep 04 21:10:57 2001 +0200
@@ -5,6 +5,11 @@
New in Isabelle2001 (?? 2001)
-----------------------------
+*** Isar ***
+
+* renamed "antecedent" case to "rule_context";
+
+
*** HOL ***
* HOL: added "The" definite description operator;