| Wed, 06 Dec 2023 16:04:00 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| Wed, 06 Dec 2023 15:45:22 +0100 | wenzelm | more zproofs; | file | diff | annotate |
| 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 |