Fri, 08 Nov 1996 14:04:38 +0100 | paulson | Deleted a redundant pattern | changeset | files |
Fri, 08 Nov 1996 14:02:51 +0100 | paulson | Adjusting to new version of uresult | changeset | files |
Thu, 07 Nov 1996 10:19:15 +0100 | paulson | Tidying up: removing redundant assumptions, etc. | changeset | files |