| 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 |