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 |
Sat, 29 May 2010 23:13:20 -0700 | Scott Morrison | minor changes in a few places | file | diff | annotate |