| Mon, 05 Dec 2022 15:41:40 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 05 Dec 2022 15:36:03 +0100 | wenzelm | tuned messages: implement "verbose = false", but there is no theory output anyway; | changeset | files |
| Mon, 05 Dec 2022 16:43:57 +0100 | desharna | merged | changeset | files |
| Wed, 23 Nov 2022 09:54:53 +0100 | desharna | added lemmas irrefl_on_subset and irreflp_on_subset | changeset | files |