| Fri, 14 Feb 1997 12:19:42 +0100 | nipkow | Made troublesome simplifier warning dependent on trace_simp. | changeset | files |
| Fri, 14 Feb 1997 11:40:53 +0100 | nipkow | Modified and shortened adm_disj lemmas. | changeset | files |
| Fri, 14 Feb 1997 10:57:17 +0100 | paulson | Deleted a useless definition | changeset | files |
| Fri, 14 Feb 1997 10:41:02 +0100 | paulson | Added optimization: do nothing for empty list | changeset | files |
| Fri, 14 Feb 1997 10:40:23 +0100 | paulson | A bit more pattern-matching in eta_contract | changeset | files |
| Fri, 14 Feb 1997 10:38:48 +0100 | paulson | Tidying and a corrected comment | changeset | files |
| Fri, 14 Feb 1997 10:36:33 +0100 | paulson | Added a new challenge problem | changeset | files |