| Thu, 30 Mar 2000 19:44:11 +0200 | nipkow | the simplification rules returned from TFL are now paired with the row they | changeset | files |
| Thu, 30 Mar 2000 15:13:59 +0200 | wenzelm | * Isar/Pure: local results and corresponding term bindings are now | changeset | files |
| Thu, 30 Mar 2000 15:13:02 +0200 | wenzelm | support Hindley-Milner polymorphisms in results and bindings; | changeset | files |