Nominal/FSet.thy
changeset 1876 b2efe803f1da
parent 1860 d3fe17786640
child 1878 c22947214948