| Fri, 08 Dec 2023 15:58:08 +0100 | wenzelm | tuned: avoid shadowing; | changeset | files |
| Fri, 08 Dec 2023 15:37:46 +0100 | wenzelm | more zproofs; | changeset | files |
| Fri, 08 Dec 2023 15:30:53 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 08 Dec 2023 15:13:18 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 08 Dec 2023 14:59:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 08 Dec 2023 14:55:43 +0100 | wenzelm | tuned names; | changeset | files |
| Fri, 08 Dec 2023 14:48:17 +0100 | wenzelm | tuned -- eliminate clones; | changeset | files |