Nominal/Nominal2_FSet.thy
changeset 1549 74888979e9cd
parent 1542 63e327e95abd
child 1568 2311a9fc4624
equal deleted inserted replaced
1548:708cd99307a2 1549:74888979e9cd