Thu, 13 Aug 1998 18:07:56 +0200 | paulson | tidying | changeset | files |
Thu, 13 Aug 1998 18:07:38 +0200 | paulson | Moved the definition of s_u (as s) into the locale | changeset | files |
Thu, 13 Aug 1998 18:06:40 +0200 | paulson | Constrains, Stable, Invariant...more of the substitution axiom, but Union | changeset | files |