2009-12-09 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |
2009-12-09 | Cezary Kaliszyk | foldr_rsp. | file | diff | annotate |
2009-12-08 | Christian Urban | proper formulation of all preservation theorems | file | diff | annotate |
2009-12-08 | Christian Urban | started to reformulate preserve lemmas | file | diff | annotate |
2009-12-08 | Christian Urban | changed names of attributes | file | diff | annotate |
2009-12-08 | Cezary Kaliszyk | Proper checked map_rsp. | file | diff | annotate |
2009-12-07 | Cezary Kaliszyk | List moved after QuotMain | file | diff | annotate |
2009-12-07 | Christian Urban | directory re-arrangement | file | diff | annotate | base |