NEWS

--- a/NEWS	Wed Oct 21 15:57:04 1998 +0200
+++ b/NEWS	Wed Oct 21 16:04:57 1998 +0200
@@ -123,8 +123,7 @@
 
 *** HOL ***
 
-** There is now a HOL TUTORIAL **
-   Use `isatool doc tutorial' or see Doc/Tutorial.
+* there is now a tutorial on Isabelle/HOL (do 'isatool doc tutorial');
 
 * HOL/inductive package reorganized and improved: now supports mutual
 definitions such as