Nominal/Nominal2_Abs.thy
changeset 2614 0d7a1703fe28
parent 2611 3d101f2f817c
child 2616 dd7490fdd998
equal deleted inserted replaced
2613:1803104d76c9 2614:0d7a1703fe28