Tue, 01 Jun 2010 11:34:03 -0700 various small changes
Scott Morrison <scott@tqft.net> [Tue, 01 Jun 2010 11:34:03 -0700] rev 314
various small changes
Mon, 31 May 2010 23:42:37 -0700 minor
Scott Morrison <scott@tqft.net> [Mon, 31 May 2010 23:42:37 -0700] rev 313
minor
Mon, 31 May 2010 17:27:17 -0700 misc. minor stuff
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 17:27:17 -0700] rev 312
misc. minor stuff
Mon, 31 May 2010 13:27:24 -0700 mention some other flavors of balls
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 13:27:24 -0700] rev 311
mention some other flavors of balls
Mon, 31 May 2010 12:44:19 -0700 converting sphere axiom to a proposition; still need to make similar changes in module axioms
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 12:44:19 -0700] rev 310
converting sphere axiom to a proposition; still need to make similar changes in module axioms
Mon, 31 May 2010 08:59:18 -0700 start E_n example; other minor changes
Kevin Walker <kevin@canyon23.net> [Mon, 31 May 2010 08:59:18 -0700] rev 309
start E_n example; other minor changes
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip