| Tue, 23 Jul 1996 15:33:30 +0200 | oheimb | unnecessary files removed | changeset | files |
| Tue, 23 Jul 1996 13:19:27 +0200 | paulson | Corrected typo regarding the type of set_oracle | changeset | files |
| Mon, 22 Jul 1996 16:24:47 +0200 | paulson | Added insert_commute | changeset | files |
| Mon, 22 Jul 1996 16:16:51 +0200 | paulson | Updated BibTeX identifiers | changeset | files |
| Mon, 22 Jul 1996 16:15:45 +0200 | paulson | Acknowledged Martin Simons | changeset | files |
| Mon, 22 Jul 1996 16:15:00 +0200 | paulson | Corrected typo involving derivations | changeset | files |
| Fri, 19 Jul 1996 15:56:01 +0200 | berghofe | Classical tactics now use default claset. | changeset | files |