src/HOL/Library/Permutation.thy
changeset 30266 970bf4f594c9
parent 27368 9f90ac19e32b
child 30738 0842e906300c
equal deleted inserted replaced
30265:2ec2df1a1665 30266:970bf4f594c9