Tue, 01 Dec 1998 10:39:02 +0100 | paulson | better version of Image_diag | changeset | files |
Mon, 30 Nov 1998 10:45:39 +0100 | paulson | tactical CHANGED now uses alpha-eta conversion, not alpha conversion | changeset | files |
Mon, 30 Nov 1998 10:44:05 +0100 | paulson | Renamed subset_Sigma_llist to subset_Times_llist | changeset | files |