Nominal/Ex/LamFun.thy
changeset 2799 c55aa6cb1518
parent 2648 5d9724ad543d
child 2950 0911cb7bf696