Nominal/FSet.thy
changeset 1865 b71b838b0a75
parent 1860 d3fe17786640
child 1878 c22947214948