blob%20to-do
Thu, 16 Jun 2011 11:11:41 -0600 Kevin Walker in the midst of revising a-inf and enriched n-cat axioms; not done yet
Wed, 15 Jun 2011 14:15:19 -0600 Kevin Walker finished topological case of Appendix B
less more (0) -10 -2 tip