Wed, 02 Jun 2010 22:09:52 -0700 rewrite proof from gluing thm
Kevin Walker <kevin@canyon23.net> [Wed, 02 Jun 2010 22:09:52 -0700] rev 324
rewrite proof from gluing thm
Wed, 02 Jun 2010 16:51:40 -0700 added \cl ([ho]colim) (currently \underrightarrow)
Kevin Walker <kevin@canyon23.net> [Wed, 02 Jun 2010 16:51:40 -0700] rev 323
added \cl ([ho]colim) (currently \underrightarrow)
Wed, 02 Jun 2010 12:52:08 -0700 more futzing with product thm
Kevin Walker <kevin@canyon23.net> [Wed, 02 Jun 2010 12:52:08 -0700] rev 322
more futzing with product thm
Wed, 02 Jun 2010 11:45:19 -0700 some changes to blobdef, in particular indexing starts at 1 now
Scott Morrison <scott@tqft.net> [Wed, 02 Jun 2010 11:45:19 -0700] rev 321
some changes to blobdef, in particular indexing starts at 1 now
Wed, 02 Jun 2010 08:43:12 -0700 Finished dealing with main issues in product thm proof; small issues still remain
Kevin Walker <kevin@canyon23.net> [Wed, 02 Jun 2010 08:43:12 -0700] rev 320
Finished dealing with main issues in product thm proof; small issues still remain
Tue, 01 Jun 2010 23:07:42 -0700 editting all over the place
Scott Morrison <scott@tqft.net> [Tue, 01 Jun 2010 23:07:42 -0700] rev 319
editting all over the place
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip