Sat, 01 Jul 2000 20:01:36 +0200 | wenzelm | IGNORE last log message! | changeset | files |
Sat, 01 Jul 2000 19:59:24 +0200 | wenzelm | removed "help"; | changeset | files |
Sat, 01 Jul 2000 19:58:59 +0200 | wenzelm | added no_vars att; | changeset | files |
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 |
Sat, 01 Jul 2000 19:51:08 +0200 | wenzelm | added subst rules for ord(er), including monotonicity conditions; | changeset | files |