Quot/Nominal/Perm.thy
2010-02-16 Cezary Kaliszyk Ported Stefan's permutation code, still needs some localizing.
less more (0) tip