Nominal/Ex/LamFun.thy
changeset 2671 eef49daac6c8
parent 2648 5d9724ad543d
child 2950 0911cb7bf696