| Wed, 09 Dec 2009 17:05:33 +0100 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |
| Wed, 09 Dec 2009 16:43:12 +0100 | Cezary Kaliszyk | foldr_rsp. | file | diff | annotate |
| Tue, 08 Dec 2009 22:02:14 +0100 | Christian Urban | proper formulation of all preservation theorems | file | diff | annotate |
| Tue, 08 Dec 2009 20:55:55 +0100 | Christian Urban | started to reformulate preserve lemmas | file | diff | annotate |