| Fri, 12 Oct 2001 12:06:23 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 12 Oct 2001 12:06:10 +0200 | wenzelm | HOLogic.dest_concls, InductAttrib.vars_of; | changeset | files |
| 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 |