| 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 |
| Tue, 08 Dec 2009 17:30:00 +0100 | Christian Urban | changed names of attributes | file | diff | annotate |
| Tue, 08 Dec 2009 12:59:38 +0100 | Cezary Kaliszyk | Proper checked map_rsp. | file | diff | annotate |
| Mon, 07 Dec 2009 14:35:45 +0100 | Cezary Kaliszyk | List moved after QuotMain | file | diff | annotate |
| Mon, 07 Dec 2009 14:09:50 +0100 | Christian Urban | directory re-arrangement | file | diff | annotate | base |