equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
|
6 |
|
7 *** Pure *** |
|
8 |
|
9 * Obsolete command 'types' has been discontinued. Use 'type_synonym' |
|
10 instead. INCOMPATIBILITY. |
|
11 |
6 |
12 |
7 *** HOL *** |
13 *** HOL *** |
8 |
14 |
9 * Theory Int: Discontinued many legacy theorems specific to type int. |
15 * Theory Int: Discontinued many legacy theorems specific to type int. |
10 INCOMPATIBILITY, use the corresponding generic theorems instead. |
16 INCOMPATIBILITY, use the corresponding generic theorems instead. |