Nominal-General/Nominal2_Atoms.thy
changeset 1906 0dc61c2966da
parent 1779 4c2e424cb858
child 1933 9eab1dfc14d2
equal deleted inserted replaced
1905:dbc9e88c44da 1906:0dc61c2966da