Mon, 14 Feb 2011 09:14:26 +1100 removing unnecessary preamble.tex
Scott Morrison <scott@tqft.net> [Mon, 14 Feb 2011 09:14:26 +1100] rev 715
removing unnecessary preamble.tex
Mon, 14 Feb 2011 08:45:47 +1100 fixing rob's typo (that->than)
Scott Morrison <scott@tqft.net> [Mon, 14 Feb 2011 08:45:47 +1100] rev 714
fixing rob's typo (that->than)
Wed, 09 Feb 2011 18:21:58 -0800 added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
Kevin Walker <kevin@canyon23.net> [Wed, 09 Feb 2011 18:21:58 -0800] rev 713
added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip