author | nipkow |
Wed, 21 Oct 1998 15:57:04 +0200 | |
changeset 5709 | 35b07f8e67b6 |
parent 5708 | fb09ab6a447f |
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