| Thu, 04 Mar 2010 18:57:23 +0100 |
Cezary Kaliszyk |
Lift distinct.
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 17:48:41 +0100 |
Cezary Kaliszyk |
Porting from Lift to Parser; until defining the Quotient type.
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 15:11:41 +0100 |
Cezary Kaliszyk |
Working bv_eqvt
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 14:24:57 +0100 |
Cezary Kaliszyk |
More fixes for new alpha, the whole lift script should now work again.
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 21:50:24 +0100 |
Cezary Kaliszyk |
Trying to prove equivariance.
|
file |
diff |
annotate
|
| Fri, 26 Feb 2010 18:21:39 +0100 |
Cezary Kaliszyk |
More about the general lifting procedure.
|
file |
diff |
annotate
|
| Fri, 26 Feb 2010 16:15:03 +0100 |
Cezary Kaliszyk |
Progress with general lifting procedure.
|
file |
diff |
annotate
|
| Fri, 26 Feb 2010 13:57:43 +0100 |
Cezary Kaliszyk |
Permutation and FV_Alpha interface change.
|
file |
diff |
annotate
|
| Fri, 26 Feb 2010 10:34:04 +0100 |
Cezary Kaliszyk |
To call quotient it is enough to export the alpha frees to proper constants and their respective equivp theorems.
|
file |
diff |
annotate
|
| Thu, 25 Feb 2010 15:40:09 +0100 |
Cezary Kaliszyk |
Preparing the generalized lifting procedure
|
file |
diff |
annotate
|