| Fri, 15 Apr 1994 11:35:44 +0200 | lcp | penultimate Springer draft | changeset | files |
| Wed, 06 Apr 1994 16:36:34 +0200 | lcp | restored the signature constraint :THM | changeset | files |
| Mon, 04 Apr 1994 17:20:15 +0200 | lcp | modifications towards final draft | changeset | files |
| Mon, 04 Apr 1994 17:09:45 +0200 | lcp | modifications towards final draft | changeset | files |
| Wed, 30 Mar 1994 17:31:18 +0200 | nipkow | changed lists and added "let" and "case" | changeset | files |
| Sun, 27 Mar 1994 12:33:14 +0200 | nipkow | Changed term ordering for permutative rewrites to be AC-compatible. | changeset | files |
| Thu, 24 Mar 1994 18:14:45 +0100 | lcp | revisions to first Springer draft | changeset | files |
| Thu, 24 Mar 1994 18:00:11 +0100 | nipkow | added section on type synonyms | changeset | files |