| 2010-10-05 | Christian Urban | llncs and more sqeezing | file | diff | annotate |
| 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-27 | Christian Urban | some experiments | file | diff | annotate |
| 2010-09-25 | Christian Urban | lifted size_thms and exported them as <name>.size | file | diff | annotate |
| 2010-09-25 | Christian Urban | cleaned up two examples | file | diff | annotate |
| 2010-09-17 | Christian Urban | updated to Isabelle Sept 16 | file | diff | annotate |
| 2010-09-12 | Christian Urban | tuned code | file | diff | annotate |