Nominal-General/Nominal2_Atoms.thy
changeset 1793 33f7201a0239
parent 1779 4c2e424cb858
child 1933 9eab1dfc14d2
equal deleted inserted replaced
1792:c29a139410d2 1793:33f7201a0239