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