| 2009-11-05 | Cezary Kaliszyk | More functionality for lifting list.cases and list.recs. | file | diff | annotate |
| 2009-11-05 | Christian Urban | merged | file | diff | annotate |
| 2009-11-05 | Christian Urban | removed typing information from get_fun in quotient_def; *potentially* dangerous | file | diff | annotate |