Nominal/Rsp.thy
changeset 1869 b5776e0a015f
parent 1744 00680cea0dde
child 1877 7af807a85e22