Nominal/Ex/LamTest.thy
changeset 2748 6f38e357b337
parent 2662 7c5bca978886
child 3104 f7c4b8e6918b