Sun, 13 Jun 2010 14:26:31 +0200 | Kevin Walker | metric independence for homeo action (proof done now) | changeset | files |
Thu, 10 Jun 2010 22:00:06 +0200 | Kevin Walker | CH_* action -- gluing compatibility | changeset | files |
Wed, 09 Jun 2010 13:21:55 +0200 | Kevin Walker | associativity for CH_* action | changeset | files |