Nominal/Nominal2_FSet.thy
changeset 1848 acacc448f9ea
parent 1818 37480540c1af
child 1933 9eab1dfc14d2
equal deleted inserted replaced
1846:756982b4fe20 1848:acacc448f9ea