Thu, 10 Jun 1999 10:37:29 +0200 | paulson | tidied | changeset | files |
Thu, 10 Jun 1999 10:36:41 +0200 | paulson | new translation to allow images over Nonce | changeset | files |
Thu, 10 Jun 1999 10:35:58 +0200 | paulson | new preficates refl, sym [from Integ/Equiv], antisym | changeset | files |