| 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 |
| Sat, 02 Dec 2023 15:42:50 +0100 | wenzelm | pro-forma support for optional zproof: no proper content yet; | changeset | files |
| Fri, 01 Dec 2023 18:12:18 +0100 | wenzelm | clarified signature: follow Term.could_unify; | changeset | files |