| Thu, 10 Aug 1995 13:15:15 +0200 | paulson | minor polishing of text on findI, etc. | changeset | files |
| Thu, 10 Aug 1995 13:14:34 +0200 | paulson | Trivial reformatting of reference | changeset | files |
| Tue, 08 Aug 1995 09:27:02 +0200 | nipkow | corrected bind_thm: now applies "standard" uniformly. | changeset | files |
| 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 |
| Tue, 01 Aug 1995 17:21:05 +0200 | wenzelm | modified prepare_proof to handle shyps; | changeset | files |