Nominal/FSet.thy
changeset 2320 d835a2771608
parent 2285 965ee8f08d4c
child 2321 e9b0728061a8
child 2327 bcb037806e16