equal
deleted
inserted
replaced
35 irrefl_relation_ofD |
35 irrefl_relation_ofD |
36 refl_relation_ofD |
36 refl_relation_ofD |
37 sym_relation_of[simp] |
37 sym_relation_of[simp] |
38 total_relation_ofD |
38 total_relation_ofD |
39 trans_relation_of[simp] |
39 trans_relation_of[simp] |
|
40 |
|
41 * Theory "HOL.Equiv_Relation": |
|
42 - Added lemmas. |
|
43 quotient_disj_strong |
40 |
44 |
41 * Theory "HOL-Library.Multiset": |
45 * Theory "HOL-Library.Multiset": |
42 - Renamed lemmas. Minor INCOMPATIBILITY. |
46 - Renamed lemmas. Minor INCOMPATIBILITY. |
43 filter_image_mset ~> filter_mset_image_mset |
47 filter_image_mset ~> filter_mset_image_mset |
44 - Removed lemmas. |
48 - Removed lemmas. |