| Thu, 19 Aug 1999 13:39:26 +0200 | wenzelm | removed fixnumerals (for the time being); | changeset | files |
| Thu, 19 Aug 1999 12:47:45 +0200 | wenzelm | tuned Goal syntax; | changeset | files |
| Thu, 19 Aug 1999 12:43:02 +0200 | wenzelm | improved messages; | changeset | files |