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 |
Fri, 14 Feb 1997 10:35:42 +0100 | paulson | Updated documentation of IFOL_ss | changeset | files |
Fri, 14 Feb 1997 10:35:23 +0100 | paulson | Documented thin_tac | changeset | files |