# HG changeset patch
# User wenzelm
# Date 972331628 -7200
# Node ID b0ab988a27a9ed28b8ec67e09481784b59a09e1b
# Parent  adff80268127cf13ea05393ef818b8d37d5bd35f
* HOL: default proof step now includes 'intro_classes';

diff -r adff80268127 -r b0ab988a27a9 NEWS
--- 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