2010-08-11 | Christian Urban | added a function that transforms the helper-rsp lemmas into real rsp lemmas | changeset | files |
2010-08-08 | Christian Urban | proved rsp-helper lemmas of size functions | changeset | files |
2010-07-31 | Christian Urban | tuning | changeset | files |
2010-07-31 | Christian Urban | further simplification with alpha_prove | changeset | files |
2010-07-31 | Christian Urban | introduced a general alpha_prove method | changeset | files |
2010-07-29 | Christian Urban | equivariance for size | changeset | files |
2010-07-29 | Christian Urban | helper lemmas for rsp-lemmas | changeset | files |
2010-07-27 | Christian Urban | tests | changeset | files |
2010-07-27 | Christian Urban | cleaned up a bit Abs.thy | changeset | files |
2010-07-27 | Christian Urban | fixed order of fold_union to make alpha and fv agree | changeset | files |
2010-07-26 | Christian Urban | small cleaning | changeset | files |
2010-07-25 | Christian Urban | added paper by james; some minor cleaning | changeset | files |
Loading... |