| Fri, 12 Oct 2001 12:07:27 +0200 | wenzelm | fixed typid; | changeset | files |
| Fri, 12 Oct 2001 12:06:54 +0200 | wenzelm | test: use SkipProof.make_thm instead of Thm.assume; | changeset | files |
| 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 |