Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 18:33:03 -0800] rev 623
proof of product thm
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 17:28:04 -0800] rev 622
minor tweaks in sketch proofs
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:33:36 -0800] rev 621
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:33:18 -0800] rev 620
adding some proof sketches
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:14:43 -0800] rev 619
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:14:37 -0800] rev 618
minor
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:10:31 -0800] rev 617
minor
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:15:17 -0800] rev 616
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:13:12 -0800] rev 615
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:02:06 -0800] rev 614
oops, unbreaking stuff
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:00:35 -0800] rev 613
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 15:45:26 -0800] rev 612
bordism example
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 15:39:03 -0800] rev 611
futzing with preambles
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 15:54:11 -0800] rev 610
misc
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 15:01:53 -0800] rev 609
proof for CH_* action