| Thu, 09 Oct 1997 15:04:21 +0200 | wenzelm | removed open; | changeset | files |
| Thu, 09 Oct 1997 15:03:06 +0200 | wenzelm | fixed infix syntax; | changeset | files |
| Thu, 09 Oct 1997 15:01:11 +0200 | wenzelm | added TLA stuff; | changeset | files |
| Thu, 09 Oct 1997 15:00:41 +0200 | wenzelm | fixed oracle; | changeset | files |
| Thu, 09 Oct 1997 14:59:36 +0200 | wenzelm | removed declIffOracle; | changeset | files |
| Thu, 09 Oct 1997 14:56:52 +0200 | wenzelm | changed preference order of prtab entries; | changeset | files |
| Thu, 09 Oct 1997 14:55:24 +0200 | wenzelm | fixed infix syntax; | changeset | files |