Nominal/Ex/Lambda.thy
changeset 2671 eef49daac6c8
parent 2669 1d1772a89026
child 2675 68ccf847507d
equal deleted inserted replaced
2670:3c493c951388 2671:eef49daac6c8