src/HOL/Library/Permutations.thy
2009-02-09 chaieb 2009-02-09 Permutations, both general and specifically on finite sets.