Nominal/Ex/Ex1.thy
changeset 2614 0d7a1703fe28
parent 2611 3d101f2f817c
child 2625 478c5648e73f
equal deleted inserted replaced
2613:1803104d76c9 2614:0d7a1703fe28