| Fri, 30 Oct 2009 19:03:53 +0100 | Cezary Kaliszyk | Regularize for equalities and a better tactic. "alpha.cases" now lifts. | file | diff | annotate |
| Fri, 30 Oct 2009 18:31:06 +0100 | Cezary Kaliszyk | Regularization | file | diff | annotate |
| Fri, 30 Oct 2009 16:24:07 +0100 | Cezary Kaliszyk | Finally merged the code of the versions of regularize and tested examples. | file | diff | annotate |
| Fri, 30 Oct 2009 14:25:37 +0100 | Cezary Kaliszyk | Finding applications and duplicates filtered out in abstractions | file | diff | annotate |
| Fri, 30 Oct 2009 11:25:29 +0100 | Cezary Kaliszyk | Cleaning of the interface to lift. | file | diff | annotate |
| Thu, 29 Oct 2009 13:29:03 +0100 | Cezary Kaliszyk | Cleaning of 'map id' and 'prod_fun id id' in lower_defs. | file | diff | annotate |
| Thu, 29 Oct 2009 12:09:31 +0100 | Cezary Kaliszyk | Using subst for identity definition. | file | diff | annotate |
| Wed, 28 Oct 2009 16:11:28 +0100 | Cezary Kaliszyk | Fix also in the general procedure. | 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 |