equal
deleted
inserted
replaced
2 Isabelle NEWS -- history of user-visible changes |
2 Isabelle NEWS -- history of user-visible changes |
3 ================================================ |
3 ================================================ |
4 |
4 |
5 New in Isabelle???? (DATE ????) |
5 New in Isabelle???? (DATE ????) |
6 ------------------------------- |
6 ------------------------------- |
|
7 |
|
8 * HOL/simplifier: terms of the form |
|
9 `? x. P1(x) & ... & Pn(x) & x=t & Q1(x) & ... Qn(x)' (or t=x) |
|
10 are rewritten to |
|
11 `P1(t) & ... & Pn(t) & Q1(t) & ... Qn(t)' |
7 |
12 |
8 * HOL/Lists: the function "set_of_list" has been renamed "set" |
13 * HOL/Lists: the function "set_of_list" has been renamed "set" |
9 |
14 |
10 * removed old README and Makefiles; |
15 * removed old README and Makefiles; |
11 |
16 |