| Mon, 10 Oct 1994 18:09:58 +0100 | nipkow | corrected problems with changed binding power of ::. | changeset | files |
| Mon, 10 Oct 1994 12:57:23 +0100 | nipkow | README file | changeset | files |
| Sat, 08 Oct 1994 13:45:40 +0100 | clasohm | changed precedences of _constrain (i.e. "::") | changeset | files |
| Thu, 06 Oct 1994 18:40:18 +0100 | nipkow | New version | changeset | files |
| Tue, 04 Oct 1994 13:02:16 +0100 | clasohm | made major changes to grammar; | changeset | files |
| Tue, 04 Oct 1994 13:01:17 +0100 | clasohm | added print_msg; | changeset | files |
| Tue, 27 Sep 1994 14:23:46 +0100 | nipkow | Modified termord to take account of the Abs-Abs case. | changeset | files |