| 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
|
| Fri, 16 Apr 2010 10:18:16 +0200 |
Christian Urban |
some tuning of eqvt-infrastructure
|
file |
diff |
annotate
|
| Wed, 07 Apr 2010 17:37:29 +0200 |
Christian Urban |
added an induction principle for permutations; removed add_perm construction
|
file |
diff |
annotate
|
| Tue, 06 Apr 2010 23:33:40 +0200 |
Christian Urban |
isarfied proof about existence of a permutation list
|
file |
diff |
annotate
|
| Sun, 04 Apr 2010 21:39:28 +0200 |
Christian Urban |
separated general nominal theory into separate folder
|
file |
diff |
annotate
| base
|