Nominal/Ex/LamTest.thy
changeset 2736 61d30863e5d1
parent 2662 7c5bca978886
child 3104 f7c4b8e6918b
equal deleted inserted replaced
2735:d97e04126a3d 2736:61d30863e5d1