Nominal/Nominal2_FSet.thy
changeset 1709 ccd2ab0cebf3
parent 1682 ae54ce4cde54
child 1774 c34347ec7ab3