equal
deleted
inserted
replaced
11 |
11 |
12 * Theory "HOL.Relation": |
12 * Theory "HOL.Relation": |
13 - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY. |
13 - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY. |
14 - Added lemmas. |
14 - Added lemmas. |
15 antisym_if_asymp |
15 antisym_if_asymp |
|
16 antisymp_ge[simp] |
|
17 antisymp_greater[simp] |
16 antisymp_if_asymp |
18 antisymp_if_asymp |
|
19 antisymp_le[simp] |
|
20 antisymp_less[simp] |
17 irreflD |
21 irreflD |
18 irreflpD |
22 irreflpD |
19 reflp_ge[simp] |
23 reflp_ge[simp] |
20 reflp_le[simp] |
24 reflp_le[simp] |
21 totalp_on_singleton[simp] |
25 totalp_on_singleton[simp] |