| Fri, 12 Oct 2001 12:05:46 +0200 | wenzelm | declare impE iffD1 iffD2 as elim of Pure; | changeset | files |
| Fri, 12 Oct 2001 12:05:02 +0200 | wenzelm | moved trace_rules to Pure/Isar/method.ML; | changeset | files |
| Thu, 11 Oct 2001 21:25:45 +0200 | wenzelm | * Isar/Pure: fixed 'token_translation' command; | changeset | files |
| Thu, 11 Oct 2001 19:22:15 +0200 | wenzelm | added try; | changeset | files |
| Thu, 11 Oct 2001 19:22:00 +0200 | wenzelm | added certify_tyname; | changeset | files |
| Wed, 10 Oct 2001 18:41:13 +0200 | berghofe | Exported output_symbols. | changeset | files |