2010-03-24 | Cezary Kaliszyk | avoiding for atom. | file | diff | annotate |
2010-03-22 | Cezary Kaliszyk | Fixed missing colon. | file | diff | annotate |
2010-03-20 | Christian Urban | proved at_set_avoiding2 which is needed for strong induction principles | file | diff | annotate |
2010-03-20 | Christian Urban | moved lemmas supp_perm_eq and exists_perm to Nominal2_Supp | file | diff | annotate |
2010-03-18 | Christian Urban | slightly more in the paper | file | diff | annotate |
2010-03-13 | Christian Urban | started supp-fv proofs (is going to work) | file | diff | annotate |
2010-02-25 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |