Nominal/Equivp.thy
changeset 1872 c7cdea70eacd
parent 1830 8db45a106569
child 1898 f8c8e2afcc18
equal deleted inserted replaced
1871:c704d129862b 1872:c7cdea70eacd