| Fri, 30 Jul 2010 00:40:32 +0100 | Christian Urban | equivariance for size | file | diff | annotate |
| Mon, 19 Jul 2010 07:49:10 +0100 | Christian Urban | minor | file | diff | annotate |
| Tue, 04 May 2010 05:36:43 +0100 | Christian Urban | some preliminary changes to the pearl-jv paper | file | diff | annotate |
| Sun, 02 May 2010 21:15:52 +0100 | Christian Urban | simplified the supp-of-finite-sets proof | file | diff | annotate |