| Thu, 24 Apr 1997 18:07:35 +0200 | mueller | expandshort | changeset | files |
| Thu, 24 Apr 1997 18:06:46 +0200 | nipkow | Introduced a generic "induct_tac" which picks up the right induction scheme | changeset | files |
| Thu, 24 Apr 1997 18:03:23 +0200 | nipkow | get_thydata accesses the second component of the data field. This component | changeset | files |
| Thu, 24 Apr 1997 18:00:22 +0200 | mueller | Main changes are: | changeset | files |