2011-02-28 | Christian Urban | split the library into a basics file; merged Nominal_Eqvt into Nominal_Base | file | diff | annotate |
2011-02-25 | Christian Urban | some slight polishing | file | diff | annotate |
2011-02-24 | Christian Urban | added a lemma about fresh_star and Abs | file | diff | annotate |
2011-01-27 | Christian Urban | the proofs with eqvt_at | file | diff | annotate |
2011-01-19 | Christian Urban | added obtain_fresh lemma; tuned Lambda.thy | file | diff | annotate |
2011-01-19 | Christian Urban | ported some of the old proofs to serve as testcases | file | diff | annotate |