equal
deleted
inserted
replaced
1 |
1 |
2 Isabelle NEWS -- history user-relevant changes |
2 Isabelle NEWS -- history user-relevant changes |
3 ============================================== |
3 ============================================== |
4 |
4 |
|
5 *** Overview of INCOMPATIBILITIES (see below for more details) *** |
|
6 |
|
7 * HOL: the constant for f``x is now "image" rather than "op ``". |
|
8 |
|
9 |
5 New in this Isabelle version |
10 New in this Isabelle version |
6 ---------------------------- |
11 ---------------------------- |
|
12 |
|
13 *** HOL *** |
|
14 |
|
15 * Algebra: new theory of rings and univariate polynomials, by Clemens Ballarin |
7 |
16 |
8 |
17 |
9 New in Isabelle99 (October 1999) |
18 New in Isabelle99 (October 1999) |
10 -------------------------------- |
19 -------------------------------- |
11 |
20 |