| Tue, 25 Jul 2000 00:12:39 +0200 | wenzelm | removed slow, slow_best methods; | changeset | files |
| Tue, 25 Jul 2000 00:11:38 +0200 | wenzelm | * Isar/Provers: intro/elim/dest attributes: changed | changeset | files |
| Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | changeset | files |