| Tue, 05 Dec 2023 11:02:05 +0100 | wenzelm | clarified const_proof vs. zproof_name; | file | diff | annotate |
| Mon, 04 Dec 2023 23:07:06 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| Mon, 04 Dec 2023 10:53:32 +0100 | wenzelm | more zterm operations; | file | diff | annotate |
| Sat, 02 Dec 2023 19:57:57 +0100 | wenzelm | clarified proof_body: cover zboxes from zproof; | file | diff | annotate |
| Sat, 02 Dec 2023 15:42:50 +0100 | wenzelm | pro-forma support for optional zproof: no proper content yet; | file | diff | annotate |
| Thu, 30 Nov 2023 23:15:18 +0100 | wenzelm | tight representation of types / terms / proof terms (presently unused); | file | diff | annotate |