NEWS
changeset 5709 35b07f8e67b6
parent 5705 56f2030c46c6
child 5710 30f4d3713cbe
     1.1 --- a/NEWS	Wed Oct 21 14:05:49 1998 +0200
     1.2 +++ b/NEWS	Wed Oct 21 15:57:04 1998 +0200
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -124,6 +123,9 @@
     1.9  
    1.10  *** HOL ***
    1.11  
    1.12 +** There is now a HOL TUTORIAL **
    1.13 +   Use `isatool doc tutorial' or see Doc/Tutorial.
    1.14 +
    1.15  * HOL/inductive package reorganized and improved: now supports mutual
    1.16  definitions such as
    1.17