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 |