| Wed, 23 Nov 2022 09:54:53 +0100 | desharna | added lemmas irrefl_on_subset and irreflp_on_subset | changeset | files |
| Mon, 21 Nov 2022 14:11:30 +0100 | desharna | introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations | changeset | files |
| Mon, 05 Dec 2022 15:19:52 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 05 Dec 2022 14:47:08 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 05 Dec 2022 12:17:56 +0100 | wenzelm | tuned messages and options; | changeset | files |
| Sun, 04 Dec 2022 18:49:58 +0100 | desharna | merged | changeset | files |
| Mon, 21 Nov 2022 18:24:55 +0100 | desharna | removed prod_set_conv attribute from top_empty_eq and top_empty_eq2 | changeset | files |