| Tue, 17 Oct 2000 22:22:56 +0200 | wenzelm | improved; | changeset | files |
| Tue, 17 Oct 2000 16:59:02 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 17 Oct 2000 13:28:57 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 17 Oct 2000 10:45:51 +0200 | paulson | renaming of contrapos rules | changeset | files |
| Tue, 17 Oct 2000 10:27:28 +0200 | paulson | tidied some awkward proofs | changeset | files |
| Tue, 17 Oct 2000 10:26:07 +0200 | paulson | tidying; removed unused rev_contra_subsetD | changeset | files |
| Tue, 17 Oct 2000 10:23:16 +0200 | paulson | restoration of "equalityI"; renaming of contrapos rules | changeset | files |