Nominal-General/Nominal2_Supp.thy
changeset 1935 266abc3ee228
parent 1930 f189cf2c0987
child 2003 b53e98bfb298
equal deleted inserted replaced
1934:8f6e68dc6cbc 1935:266abc3ee228