| 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 |
| Sat, 01 Jul 2000 19:49:48 +0200 | wenzelm | added ISABELLE_SITE_SETTINGS_PRESENT; | changeset | files |
| Sat, 01 Jul 2000 19:49:20 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 01 Jul 2000 19:49:09 +0200 | wenzelm | added site settings check; | changeset | files |
| Sat, 01 Jul 2000 19:48:04 +0200 | wenzelm | * Isar: removed 'help' command, which hasn't been too helpful anyway; | changeset | files |
| Sat, 01 Jul 2000 19:45:43 +0200 | wenzelm | removed help; | changeset | files |
| Sat, 01 Jul 2000 19:45:23 +0200 | wenzelm | removed help_methods; | changeset | files |