Wed, 26 Nov 1997 17:32:52 +0100 | paulson | Tidying and using equalityCE instead of the slower equalityE | changeset | files |
Wed, 26 Nov 1997 17:31:02 +0100 | paulson | The change from iffE to iffCE means fewer case splits in most cases. Very few | changeset | files |