Thu, 11 Nov 2010 17:50:28 -0800 | Scott Morrison | various | file | diff | annotate |
Thu, 11 Nov 2010 15:48:47 -0800 | Scott Morrison | writing inconclusively about homotopy colimits, but have to run | file | diff | annotate |
Tue, 09 Nov 2010 17:48:16 -0800 | Kevin Walker | fixing typo | file | diff | annotate |