Thu, 28 Nov 1996 12:36:31 +0100 | paulson | Declares List_ as a synonym for List | changeset | files |
Thu, 28 Nov 1996 12:31:33 +0100 | paulson | Replaced map...~~ by ListPair.map | changeset | files |
Thu, 28 Nov 1996 12:28:52 +0100 | paulson | Extra fix needed in newN case | changeset | files |