| Fri, 30 Oct 2009 15:35:42 +0100 | Christian Urban | changed the order of rfv and reformulated a3 with rfv | file | diff | annotate |
| Fri, 30 Oct 2009 15:32:04 +0100 | Christian Urban | merged | file | diff | annotate |
| Fri, 30 Oct 2009 15:28:44 +0100 | Christian Urban | added fv-function | file | diff | annotate |
| Fri, 30 Oct 2009 15:22:59 +0100 | Cezary Kaliszyk | The proper real_alpha | file | diff | annotate |
| Fri, 30 Oct 2009 12:22:03 +0100 | Cezary Kaliszyk | Cleaning also in Lam | file | diff | annotate |
| Thu, 29 Oct 2009 17:35:03 +0100 | Cezary Kaliszyk | Tried manually lifting real_alpha | file | diff | annotate |
| Thu, 29 Oct 2009 13:30:11 +0100 | Cezary Kaliszyk | More tests in Lam | file | diff | annotate |
| Thu, 29 Oct 2009 08:46:34 +0100 | Cezary Kaliszyk | Lifting of the 3 lemmas in LamEx | file | diff | annotate |
| Thu, 29 Oct 2009 08:06:49 +0100 | Cezary Kaliszyk | Fixed wrong CARD definition and removed the "Does not work anymore" comment. | file | diff | annotate |
| Thu, 29 Oct 2009 07:29:12 +0100 | Christian Urban | merged | file | diff | annotate |
| Wed, 28 Oct 2009 19:36:52 +0100 | Christian Urban | fixed the definition of alpha; this *breaks* some of the experiments | file | diff | annotate |
| Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| Wed, 28 Oct 2009 17:38:37 +0100 | Cezary Kaliszyk | More cleaning in Lam code | file | diff | annotate |
| Wed, 28 Oct 2009 16:48:57 +0100 | Cezary Kaliszyk | Some cleaning | file | diff | annotate |
| Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | file | diff | annotate |
| Wed, 28 Oct 2009 15:25:36 +0100 | Christian Urban | merged | file | diff | annotate |
| Wed, 28 Oct 2009 15:25:11 +0100 | Christian Urban | added infrastructure for defining lifted constants | file | diff | annotate |
| Wed, 28 Oct 2009 14:59:24 +0100 | Cezary Kaliszyk | First experiments with Lambda | file | diff | annotate |
| Tue, 27 Oct 2009 14:14:30 +0100 | Christian Urban | added equiv-thm to the quot_info | file | diff | annotate |
| Tue, 27 Oct 2009 11:43:02 +0100 | Christian Urban | added an example about lambda-terms | file | diff | annotate |