Nominal-General/Nominal2_Atoms.thy
changeset 1844 c123419a4eb0
parent 1779 4c2e424cb858
child 1933 9eab1dfc14d2
equal deleted inserted replaced
1843:35e06fc27744 1844:c123419a4eb0