| Wed, 23 Jun 2010 18:37:25 -0700 | Kevin Walker | finished def of sphere module n+1-cat | file | diff | annotate |
| Wed, 23 Jun 2010 09:41:03 -0700 | Kevin Walker | define compatible familty of non-degenerate IPs | file | diff | annotate |
| Tue, 22 Jun 2010 22:19:16 -0700 | Kevin Walker | sphere modules (in progress) | file | diff | annotate |
| Tue, 22 Jun 2010 18:56:51 -0700 | Kevin Walker | misc | file | diff | annotate |