| Sat, 04 Sep 2010 07:28:35 +0800 |
Christian Urban |
moved everything out of Nominal_Supp
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 06:10:04 +0800 |
Christian Urban |
got rid of Nominal_Atoms (folded into Nominal2_Base)
|
file |
diff |
annotate
|
| Sat, 04 Sep 2010 05:43:03 +0800 |
Christian Urban |
cleaned a bit various thy-files in Nominal-General
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 20:53:09 +0800 |
Christian Urban |
removed lemma finite_set (already in simpset)
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 20:48:45 +0800 |
Christian Urban |
added supp_set lemma
|
file |
diff |
annotate
|
| 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
|
| 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
|