equal
deleted
inserted
replaced
1 Isabelle NEWS -- history of user-relevant changes |
1 Isabelle NEWS -- history of user-relevant changes |
2 ================================================= |
2 ================================================= |
3 |
3 |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
|
5 |
|
6 |
|
7 New in this Isabelle version |
|
8 ---------------------------- |
|
9 |
|
10 *** HOL *** |
|
11 |
|
12 * Theory "HOL.Relation": |
|
13 - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY. |
|
14 - Added lemmas. |
|
15 antisym_if_asymp |
|
16 antisymp_ge[simp] |
|
17 antisymp_greater[simp] |
|
18 antisymp_if_asymp |
|
19 antisymp_le[simp] |
|
20 antisymp_less[simp] |
|
21 irreflD |
|
22 irreflpD |
|
23 reflp_ge[simp] |
|
24 reflp_le[simp] |
|
25 totalp_on_singleton[simp] |
|
26 |
|
27 * Theory "HOL.Wellfounded": |
|
28 - Added lemmas. |
|
29 wfP_if_convertible_to_nat |
|
30 wfP_if_convertible_to_wfP |
|
31 wf_if_convertible_to_wf |
|
32 |
|
33 * Theory "HOL-Library.FSet": |
|
34 - Added lemmas. |
|
35 fimage_strict_mono |
|
36 inj_on_strict_fsubset |
5 |
37 |
6 |
38 |
7 New in Isabelle2022 (October 2022) |
39 New in Isabelle2022 (October 2022) |
8 ---------------------------------- |
40 ---------------------------------- |
9 |
41 |