| Wed, 06 Dec 2023 15:15:14 +0100 | wenzelm | proper substitution of types within term; | changeset | files |
| Wed, 06 Dec 2023 13:16:34 +0100 | wenzelm | more accurate treatment of term variables after instantiation of type variables; | changeset | files |
| Wed, 06 Dec 2023 13:04:07 +0100 | wenzelm | tuned signature; | changeset | files |