| Fri, 19 Jul 2024 11:29:05 +0200 | wenzelm | clarified signature, following zterm.ML; | changeset | files |
| Fri, 19 Jul 2024 11:28:25 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 18 Jul 2024 17:02:39 +0200 | wenzelm | merged | changeset | files |
| Thu, 18 Jul 2024 16:25:53 +0200 | wenzelm | uniform export via ztyp/zterm/zproof; | changeset | files |
| Thu, 18 Jul 2024 15:26:36 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 18 Jul 2024 12:08:08 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 Jul 2024 11:36:09 +0200 | wenzelm | more operations; | changeset | files |