| 2010-07-31 | Christian Urban | introduced a general alpha_prove method | file | diff | annotate |
| 2010-07-29 | Christian Urban | equivariance for size | file | diff | annotate |
| 2010-07-29 | Christian Urban | helper lemmas for rsp-lemmas | file | diff | annotate |
| 2010-07-27 | Christian Urban | tests | file | diff | annotate |
| 2010-07-27 | Christian Urban | cleaned up a bit Abs.thy | file | diff | annotate |
| 2010-07-27 | Christian Urban | fixed order of fold_union to make alpha and fv agree | file | diff | annotate |
| 2010-07-25 | Christian Urban | added paper by james; some minor cleaning | file | diff | annotate |
| 2010-07-17 | Christian Urban | tests | file | diff | annotate |
| 2010-07-16 | Christian Urban | more on the paper | file | diff | annotate |
| 2010-07-14 | Christian Urban | more on the paper | file | diff | annotate |
| 2010-06-28 | Christian Urban | more quotient-definitions | file | diff | annotate |
| 2010-06-28 | Christian Urban | slight cleaning | file | diff | annotate |