| Tue, 18 Dec 2001 02:19:31 +0100 | wenzelm | simultaneous type-inference of complete context/statement specifications; | changeset | files |
| Tue, 18 Dec 2001 02:18:38 +0100 | wenzelm | tuned interface of unify, param; | changeset | files |
| Tue, 18 Dec 2001 02:17:20 +0100 | wenzelm | tuned Type.unify; | changeset | files |
| Mon, 17 Dec 2001 14:27:18 +0100 | nipkow | mods due to changed 1-point simprocs (quantifier1). | changeset | files |