| Mon, 18 May 1998 17:57:16 +0200 | wenzelm | improved finite scans: more abstract stopper; | changeset | files |
| Mon, 18 May 1998 17:31:58 +0200 | nipkow | snoc_induct/exhaust -> rev_induct_exhaust. | changeset | files |
| Mon, 18 May 1998 17:31:49 +0200 | nipkow | Cleaned up and simplified etc. | changeset | files |
| Fri, 15 May 1998 11:35:56 +0200 | wenzelm | witnesses: lookup stored thms instead of axioms; | changeset | files |