Nominal-General/Nominal2_Atoms.thy
changeset 1954 23480003f9c5
parent 1941 d33781f9d2c7
child 1962 84a13d1e2511