Nominal/Nominal2_Base.thy
2010-11-21 Christian Urban added example Foo2.thy
2010-11-14 Christian Urban merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.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