| 2010-12-23 | Christian Urban | moved generic functions into nominal_library | file | diff | annotate |
| 2010-12-22 | Christian Urban | slight tuning | file | diff | annotate |
| 2010-12-22 | Christian Urban | slight tuning | file | diff | annotate |
| 2010-12-22 | Christian Urban | added fold_right which produces the correct term for left-infix operators | file | diff | annotate |
| 2010-12-22 | Christian Urban | a bit tuning | file | diff | annotate |
| 2010-12-22 | Christian Urban | corrected premises of strong exhausts theorems | file | diff | annotate |