Nominal/Ex/LamFun.thy
changeset 2681 0e4c5fa26fa1
parent 2648 5d9724ad543d
child 2950 0911cb7bf696