2010-03-20 | Christian Urban | moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas | file | diff | annotate |
2010-03-02 | Christian Urban | updated (added lemma about commuting permutations) | file | diff | annotate |
2010-02-25 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |