| Thu, 03 Feb 1994 13:53:08 +0100 | wenzelm | extend_theory: changed type of "abbrs" arg; | changeset | files |
| Wed, 02 Feb 1994 11:15:22 +0100 | clasohm | made error message "file not found" more informative | changeset | files |
| 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 |
| Thu, 20 Jan 1994 12:38:02 +0100 | nipkow | removed square and fact | changeset | files |