| 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 |
| Tue, 08 Dec 2009 17:30:00 +0100 | Christian Urban | changed names of attributes | file | diff | annotate |