| 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 |