Mon, 07 Aug 1995 16:37:47 +0200 | nipkow | Documented findI, findE, findEs, thms_containing. | changeset | files |
Mon, 07 Aug 1995 15:23:59 +0200 | nipkow | Added findI, findEs, and findE. | changeset | files |
Tue, 01 Aug 1995 17:21:57 +0200 | wenzelm | MAJOR changes: | changeset | files |