Nominal/Rsp.thy
changeset 1813 69fff336dd18
parent 1744 00680cea0dde
child 1877 7af807a85e22