changeset 4981 | 9703ba0e9122 |
parent 4930 | 89271bc4e7ed |
child 5002 | 7b4c2a153738 |
4980:a5b90f34a05c | 4981:9703ba0e9122 |
---|---|
1 |
1 |
2 Isabelle NEWS -- history of user-visible changes |
2 Isabelle NEWS -- history of user-visible changes |
3 ================================================ |
3 ================================================ |
4 |
4 |
5 New in Isabelle??? (FIXME) |
5 New in this Isabelle version |
6 -------------------------- |
6 ---------------------------- |
7 |
7 |
8 *** General Changes *** |
8 *** General Changes *** |
9 |
9 |
10 * Simplifier: |
10 * Simplifier: |
11 |
11 |