| Mon, 04 Dec 2023 12:10:39 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Dec 2023 10:53:32 +0100 | wenzelm | more zterm operations; | changeset | files |
| Sat, 02 Dec 2023 20:49:50 +0000 | haftmann | compactified specification of type class parity | changeset | files |
| Sat, 02 Dec 2023 20:49:49 +0000 | haftmann | generalized | changeset | files |
| Sat, 02 Dec 2023 20:49:48 +0000 | haftmann | explicit annotation of lemma duplicates | changeset | files |
| Sat, 02 Dec 2023 20:21:56 +0100 | wenzelm | merged | changeset | files |
| Sat, 02 Dec 2023 19:57:57 +0100 | wenzelm | clarified proof_body: cover zboxes from zproof; | changeset | files |