| 2010-09-27 | Christian Urban | added postprocessed fresh-lemmas for constructors | file | diff | annotate |
| 2010-09-27 | Christian Urban | post-processed eq_iff and supp threormes according to the fv-supp equality | file | diff | annotate |
| 2010-09-25 | Christian Urban | lifted size_thms and exported them as <name>.size | file | diff | annotate |
| 2010-09-22 | Christian Urban | removed dead code | file | diff | annotate |