Sun, 14 Nov 2010 16:33:18 -0800 Kevin Walker adding some proof sketches
Sun, 14 Nov 2010 16:14:43 -0800 Kevin Walker Automated merge with https://tqft.net/hg/blob/
Sun, 14 Nov 2010 16:14:37 -0800 Kevin Walker minor
Sun, 14 Nov 2010 16:10:31 -0800 Kevin Walker minor
Sun, 14 Nov 2010 16:15:17 -0800 Scott Morrison hopefully preamble commands should all be okay again
Sun, 14 Nov 2010 16:13:12 -0800 Scott Morrison various minor, and moving mapping spaces to 'specializations'
Sun, 14 Nov 2010 16:02:06 -0800 Scott Morrison oops, unbreaking stuff
Sun, 14 Nov 2010 16:00:35 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
(0) -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 tip