equal
deleted
inserted
replaced
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** HOL *** |
10 *** HOL *** |
|
11 |
|
12 * Theory "HOL.Fun": |
|
13 - Renamed lemma inj_on_strict_subset to image_strict_mono. |
|
14 Minor INCOMPATIBILITY. |
11 |
15 |
12 * Theory "HOL.Relation": |
16 * Theory "HOL.Relation": |
13 - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY. |
17 - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY. |
14 - Added lemmas. |
18 - Added lemmas. |
15 antisym_if_asymp |
19 antisym_if_asymp |