Nominal/Nominal2_FSet.thy
changeset 1734 23721c898d20
parent 1682 ae54ce4cde54
child 1774 c34347ec7ab3
equal deleted inserted replaced
1733:6988077666dc 1734:23721c898d20