src/ZF/Perm.thy
changeset 11145 3e47692e3a3e
parent 9570 e16e168984e1
child 13176 312bd350579b