2011-03-11 | Christian Urban | more on the paper | file | diff | annotate |
2011-03-01 | Christian Urban | a bit more tuning | file | diff | annotate |
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 |