| Thu, 22 May 1997 18:29:17 +0200 | nipkow | exhaust_tac can now deal with whole terms rather than just variables. | changeset | files |
| Thu, 22 May 1997 17:20:55 +0200 | wenzelm | added href to Isamode; | changeset | files |
| Thu, 22 May 1997 16:44:47 +0200 | wenzelm | fixed doc; | changeset | files |