Nominal/Perm.thy
2010-04-18 Christian Urban moved some general function into nominal_library.ML
less more (0) -1 tip