Sat, 01 Jul 2000 19:56:46 +0200 | wenzelm | eta_contract: no default; | changeset | files |
Sat, 01 Jul 2000 19:55:22 +0200 | wenzelm | GPLed; | changeset | files |
Sat, 01 Jul 2000 19:54:00 +0200 | wenzelm | * Isar/HOL/Calculation: new rules for substitution in inequalities | changeset | files |