Nominal/Perm.thy
changeset 1571 1d70813ae674
parent 1503 8639077e0f43
child 1683 f78c820f67c3
equal deleted inserted replaced
1570:014ddf0d7271 1571:1d70813ae674