src/HOL/Library/Perm.thy
changeset 70333 0f7edf0853df
parent 68406 6beb45f6cf67
child 70335 9bd8c16b6627