equal
deleted
inserted
replaced
1 |
|
2 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
3 ============================================== |
2 ============================================== |
4 |
3 |
5 New in this Isabelle version |
4 New in this Isabelle version |
6 ---------------------------- |
5 ---------------------------- |
121 |
120 |
122 * print mode 'emacs' reserved for Isamode; |
121 * print mode 'emacs' reserved for Isamode; |
123 |
122 |
124 |
123 |
125 *** HOL *** |
124 *** HOL *** |
|
125 |
|
126 ** There is now a HOL TUTORIAL ** |
|
127 Use `isatool doc tutorial' or see Doc/Tutorial. |
126 |
128 |
127 * HOL/inductive package reorganized and improved: now supports mutual |
129 * HOL/inductive package reorganized and improved: now supports mutual |
128 definitions such as |
130 definitions such as |
129 |
131 |
130 inductive EVEN ODD |
132 inductive EVEN ODD |