Wed, 13 Nov 1996 10:47:08 +0100 | paulson | Updated version and date | changeset | files |
Wed, 13 Nov 1996 10:42:50 +0100 | paulson | Removal of polymorphic equality via mem, subset, eq_set, etc | changeset | files |
Wed, 13 Nov 1996 10:41:50 +0100 | paulson | In-lined the one function call to normTsh | changeset | files |