Nominal-General/Nominal2_Atoms.thy
changeset 1926 e42bd9d95f09
parent 1779 4c2e424cb858
child 1933 9eab1dfc14d2