| Thu, 24 Jun 2010 14:20:38 -0400 | Scott Morrison | cross-references for the small blobs lemma | file | diff | annotate |
| Tue, 22 Jun 2010 18:05:09 -0700 | Kevin Walker | refinement of ev map statement needed for small blobs | file | diff | annotate |
| Wed, 16 Jun 2010 08:33:20 -0700 | Kevin Walker | aborted attempt at remark for small blobs lemma | file | diff | annotate |
| Sun, 13 Jun 2010 14:26:31 +0200 | Kevin Walker | metric independence for homeo action (proof done now) | file | diff | annotate |
| Thu, 10 Jun 2010 22:00:06 +0200 | Kevin Walker | CH_* action -- gluing compatibility | file | diff | annotate |
| Wed, 09 Jun 2010 13:21:55 +0200 | Kevin Walker | associativity for CH_* action | file | diff | annotate |