Nominal/FSet.thy
changeset 1571 1d70813ae674
parent 1533 5f5e99a11f66
child 1682 ae54ce4cde54