| Fri, 23 Dec 2022 15:07:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 14:43:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 23 Dec 2022 14:32:53 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Fri, 23 Dec 2022 12:14:10 +0100 |
desharna |
merged
|
changeset |
files
|
| Thu, 22 Dec 2022 21:55:51 +0100 |
desharna |
merged
|
changeset |
files
|
| Tue, 20 Dec 2022 09:34:37 +0100 |
desharna |
used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
|
changeset |
files
|
| Mon, 19 Dec 2022 16:20:57 +0100 |
desharna |
added lemma trans_on_lex_prod[simp]
|
changeset |
files
|
| Mon, 19 Dec 2022 16:12:17 +0100 |
desharna |
strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
|
changeset |
files
|
| Mon, 19 Dec 2022 16:07:44 +0100 |
desharna |
strengthened and renamed trans_reflclI
|
changeset |
files
|
| Mon, 19 Dec 2022 16:05:57 +0100 |
desharna |
strengthened and renamed transp_reflclp
|
changeset |
files
|
| Mon, 19 Dec 2022 16:00:49 +0100 |
desharna |
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
|
changeset |
files
|
| Mon, 19 Dec 2022 15:54:03 +0100 |
desharna |
added lemmas trans_on_subset and transp_on_subset
|
changeset |
files
|