| Wed, 24 Apr 1996 13:01:13 +0200 | oheimb | changed two goals formulated with 8bit font | changeset | files |
| Wed, 24 Apr 1996 11:20:57 +0200 | clasohm | removed David's private version (i.e. restored version 1.1) | changeset | files |
| Tue, 23 Apr 1996 17:34:05 +0200 | oheimb | *** empty log message *** | changeset | files |
| Tue, 23 Apr 1996 17:25:29 +0200 | oheimb | *** empty log message *** | changeset | files |
| Tue, 23 Apr 1996 17:11:44 +0200 | oheimb | repaired critical proofs depending on the order inside non-confluent SimpSets, | changeset | files |
| Tue, 23 Apr 1996 17:11:23 +0200 | oheimb | *** empty log message *** | changeset | files |
| Tue, 23 Apr 1996 17:04:23 +0200 | oheimb | adapted several proofs | changeset | files |