Sun, 27 Jun 2010 12:28:06 -0700 a bunch of minor changes
Scott Morrison <scott@tqft.net> [Sun, 27 Jun 2010 12:28:06 -0700] rev 402
a bunch of minor changes
Sat, 26 Jun 2010 17:22:53 -0700 Making notation in the product theorem more consistent.
Scott Morrison <scott@tqft.net> [Sat, 26 Jun 2010 17:22:53 -0700] rev 401
Making notation in the product theorem more consistent.
Sat, 26 Jun 2010 16:31:28 -0700 Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Scott Morrison <scott@tqft.net> [Sat, 26 Jun 2010 16:31:28 -0700] rev 400
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Fri, 25 Jun 2010 09:48:24 -0700 minor
Kevin Walker <kevin@canyon23.net> [Fri, 25 Jun 2010 09:48:24 -0700] rev 399
minor
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip