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 |
Fri, 04 Jun 2010 20:43:14 -0700 | Kevin Walker | breaking long lines | file | diff | annotate |