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 |
Thu, 20 Jan 1994 12:38:02 +0100 | nipkow | removed square and fact | changeset | files |