Nominal/ExLet.thy
changeset 1734 23721c898d20
parent 1731 3832a31a73b1
child 1739 468c3c1adcba