2011-01-19 | Christian Urban | added obtain_fresh lemma; tuned Lambda.thy | changeset | files |
2011-01-19 | Christian Urban | base file for the tutorial (contains definitions for heigt, subst and beta-reduction) | changeset | files |
2011-01-19 | Christian Urban | ported some of the old proofs to serve as testcases | changeset | files |
2011-01-19 | Christian Urban | added eqvt and supp lemma for removeAll (function from List.thy) | changeset | files |
Loading... |