| 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 15:30:33 +0100 | Christian Urban | not sure what changed here | 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 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 |