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