| Fri, 03 Nov 2000 21:34:22 +0100 | wenzelm | tuned notation; | changeset | files |
| Fri, 03 Nov 2000 21:33:53 +0100 | wenzelm | adapted "obtain" proofs; | changeset | files |
| Fri, 03 Nov 2000 21:33:15 +0100 | wenzelm | provide case names for rev_induct, rev_cases; | changeset | files |