Nominal/Nominal2_Base.thy
2010-03-20 Christian Urban moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas
2010-03-02 Christian Urban updated (added lemma about commuting permutations)
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip