| Fri, 23 Dec 2022 15:34:09 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2022 15:29:29 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Dec 2022 15:20:53 +0100 | wenzelm | tuned; | changeset | files |
| 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 |