| Thu, 31 Aug 2000 01:42:23 +0200 | wenzelm | ported HOL/Lambda/ListBeta; | changeset | files |
| Thu, 31 Aug 2000 00:16:32 +0200 | wenzelm | improved handling of messages: do not decorate writeln output; | changeset | files |
| Thu, 31 Aug 2000 00:15:09 +0200 | wenzelm | improved messages; | changeset | files |
| Thu, 31 Aug 2000 00:11:40 +0200 | wenzelm | more polyml choices; | changeset | files |