| 2009-10-16 | Cezary Kaliszyk | A fix for one fun_map; doesn't work for more. | file | diff | annotate |
| 2009-10-16 | Christian Urban | fixed the problem with function types; but only type_of works; cterm_of does not work | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Description of the problem with get_fun. | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | A proper build_goal_term function. | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Cleaning the code | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Merged | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Cleaning the proofs | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Cleaning the code, part 4 | file | diff | annotate |
| 2009-10-15 | Christian Urban | slightly improved tyRel | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Reordering the code, part 3 | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Reordering the code, part 2. | file | diff | annotate |
| 2009-10-15 | Cezary Kaliszyk | Reordering the code, part 1. | file | diff | annotate |