--- a/NEWS Mon Oct 23 20:58:12 2000 +0200
+++ b/NEWS Mon Oct 23 22:07:08 2000 +0200
@@ -16,6 +16,11 @@
definitions);
+*** Isar ***
+
+* HOL: default proof step now includes 'intro_classes';
+
+
*** HOL ***
* HOL/Library: a collection of generic theories to be used together