| 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 |
| Fri, 30 Apr 2010 15:34:26 +0100 | Christian Urban | added lemmas establishing the support of finite sets of finitely supported elements | file | diff | annotate |
| Wed, 21 Apr 2010 21:29:09 +0200 | Christian Urban | moved some lemmas into the right places | file | diff | annotate |
| Wed, 21 Apr 2010 16:24:18 +0200 | Christian Urban | added a variant of the induction principle for permutations | file | diff | annotate |
| Wed, 21 Apr 2010 12:37:19 +0200 | Christian Urban | added an improved version of the induction principle for permutations | file | diff | annotate |
| Mon, 19 Apr 2010 09:25:31 +0200 | Christian Urban | tuned proofs | file | diff | annotate |