| Sun, 29 May 1994 15:14:28 +0200 | nipkow | Internale optimization of the simplifier: in case a subterm stays unchanged, | changeset | files |
| Thu, 26 May 1994 16:53:58 +0200 | wenzelm | axiomatic type class 'package' for Pure (alpha version); | changeset | files |
| Thu, 26 May 1994 16:51:46 +0200 | wenzelm | added "axclass.ML", structure AxClass; | changeset | files |