Nominal/Ex/Lambda.thy
changeset 2905 9448945a1e60
parent 2902 9c3f6a4d95d4
child 2912 3c363a5070a5