Nominal/Ex/ExLet.thy
changeset 2181 b997c22805ae
parent 2120 2786ff1df475