* HOL: default proof step now includes 'intro_classes';

--- 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