| 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 |