| Fri, 12 Oct 2001 16:57:07 +0200 | berghofe | - Exported goals_conv and fconv_rule | changeset | files |
| Fri, 12 Oct 2001 12:13:31 +0200 | wenzelm | removed vars_of, concls_of; | changeset | files |
| Fri, 12 Oct 2001 12:11:39 +0200 | wenzelm | declare impE iffD1 iffD2 ad elim of Pure; | changeset | files |
| Fri, 12 Oct 2001 12:10:07 +0200 | wenzelm | removed lookups count; | changeset | files |
| Fri, 12 Oct 2001 12:09:38 +0200 | wenzelm | added make_thm (sort-of); | changeset | files |
| Fri, 12 Oct 2001 12:09:21 +0200 | wenzelm | added trace_rules, trace; | changeset | files |
| Fri, 12 Oct 2001 12:08:57 +0200 | wenzelm | removed get_cases, get_induct; | changeset | files |