| 2009-12-06 | Christian Urban | fixed examples | file | diff | annotate |
| 2009-12-06 | Christian Urban | merged | file | diff | annotate |
| 2009-12-06 | Christian Urban | added a theorem list for equivalence theorems | file | diff | annotate |
| 2009-12-06 | Cezary Kaliszyk | Name changes. | file | diff | annotate |
| 2009-12-06 | Cezary Kaliszyk | Simpler definition code that works with any type maps. | file | diff | annotate |
| 2009-12-05 | Cezary Kaliszyk | Definitions folded first. | file | diff | annotate |
| 2009-12-05 | Christian Urban | simplified inj_repabs_trm | file | diff | annotate |
| 2009-12-04 | Cezary Kaliszyk | more name cleaning and removing | file | diff | annotate |