Tue, 09 Nov 2010 14:03:58 +0900 adding some figures for the axioms
Scott Morrison <scott@tqft.net> [Tue, 09 Nov 2010 14:03:58 +0900] rev 594
adding some figures for the axioms
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip