Wed, 20 Jan 1999 10:29:25 +0100 | wenzelm | changed Minho mirror; | changeset | files |
Tue, 19 Jan 1999 12:59:55 +0100 | paulson | tidied freeness reasoning | changeset | files |
Tue, 19 Jan 1999 12:56:27 +0100 | paulson | freeness reasoning: T.free_iffs | changeset | files |