Nominal/Ex/LamFun.thy
changeset 2626 d1bdc281be2b
parent 2496 20ae67cb830a
child 2647 5e95387bef45
equal deleted inserted replaced
2625:478c5648e73f 2626:d1bdc281be2b