Sun, 14 Nov 2010 16:33:18 -0800 adding some proof sketches
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:33:18 -0800] rev 620
adding some proof sketches
Sun, 14 Nov 2010 16:14:43 -0800 Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:14:43 -0800] rev 619
Automated merge with https://tqft.net/hg/blob/
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip