| Wed, 26 Jan 1994 22:07:06 +0100 | nipkow | case was renamed to sum_case | changeset | files |
| Mon, 24 Jan 1994 12:03:53 +0100 | wenzelm | added is_empty: env -> bool, minidx: env -> int option; | changeset | files |
| Thu, 20 Jan 1994 13:35:40 +0100 | nipkow | added HOLCF | changeset | files |