Nominal-General/Nominal2_Atoms.thy
changeset 1892 4df853f5879f
parent 1779 4c2e424cb858
child 1933 9eab1dfc14d2
equal deleted inserted replaced
1889:6c5b5ec53a0b 1892:4df853f5879f