| Wed, 06 Dec 2023 15:32:53 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| Wed, 06 Dec 2023 15:21:00 +0100 | wenzelm | proper treatment of ZConstP: term represents body of closure; | file | diff | annotate |
| Wed, 06 Dec 2023 15:15:14 +0100 | wenzelm | proper substitution of types within term; | file | diff | annotate |
| Wed, 06 Dec 2023 13:16:34 +0100 | wenzelm | more accurate treatment of term variables after instantiation of type variables; | file | diff | annotate |
| Wed, 06 Dec 2023 13:04:07 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 06 Dec 2023 10:29:37 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Dec 2023 21:31:28 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Dec 2023 21:27:42 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| Tue, 05 Dec 2023 20:07:52 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| Tue, 05 Dec 2023 19:52:57 +0100 | wenzelm | more operations; | file | diff | annotate |
| Tue, 05 Dec 2023 11:37:24 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| 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 |