src/HOL/Library/Permutations.thy
changeset 30242 aea5d7fa7ef5
parent 30240 5b25fee0362c
parent 30074 38ce654e1b05
child 30267 171b3bd93c90