2010-03-23 | Christian Urban | more on the paper | file | diff | annotate |
2010-03-23 | Cezary Kaliszyk | Remove compose_eqvt | file | diff | annotate |
2010-03-22 | Cezary Kaliszyk | equivp_cheat can be removed for all one-permutation examples. | file | diff | annotate |
2010-03-20 | Christian Urban | moved lemmas supp_perm_eq and exists_perm to Nominal2_Supp | file | diff | annotate |
2010-03-20 | Christian Urban | started cleaning up and introduced 3 versions of ~~gen | file | diff | annotate |
2010-03-20 | Christian Urban | moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas | file | diff | annotate |
2010-03-19 | Cezary Kaliszyk | Keep only one copy of infinite_Un. | file | diff | annotate |