| Thu, 15 Dec 2022 09:44:50 +0100 | desharna | added lemma antisymp_reflcp | changeset | files |
| Thu, 15 Dec 2022 10:25:55 +0100 | desharna | added antisymp_on_antisym_on_eq[pred_set_conv] | changeset | files |
| Thu, 15 Dec 2022 10:24:21 +0100 | desharna | added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations | changeset | files |
| Tue, 13 Dec 2022 11:29:52 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Dec 2022 11:27:51 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 13 Dec 2022 11:25:26 +0100 | wenzelm | clarified order: accumulate strictly from left to right; | changeset | files |
| Tue, 13 Dec 2022 11:18:27 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 13 Dec 2022 11:11:29 +0100 | wenzelm | clarified modules; | changeset | files |