| 2009-10-30 | Christian Urban | added fv-function | file | diff | annotate |
| 2009-10-30 | Cezary Kaliszyk | The proper real_alpha | file | diff | annotate |
| 2009-10-30 | Cezary Kaliszyk | Cleaning also in Lam | file | diff | annotate |
| 2009-10-29 | Cezary Kaliszyk | Tried manually lifting real_alpha | file | diff | annotate |
| 2009-10-29 | Cezary Kaliszyk | More tests in Lam | file | diff | annotate |
| 2009-10-29 | Cezary Kaliszyk | Lifting of the 3 lemmas in LamEx | file | diff | annotate |
| 2009-10-29 | Cezary Kaliszyk | Fixed wrong CARD definition and removed the "Does not work anymore" comment. | file | diff | annotate |
| 2009-10-29 | Christian Urban | merged | file | diff | annotate |
| 2009-10-28 | Christian Urban | fixed the definition of alpha; this *breaks* some of the experiments | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | More cleaning in Lam code | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | Some cleaning | file | diff | annotate |