## relabel: change (or show) the definition of a relabelling identifier

`relabel R = [a/p,...];`

binds a relabelling function
`relabel R;`

prints function bound to R
### Notes

a/p means that p is relabelled to a. You cannot relabel tau.
If p is relabelled to a, then 'p is also relabelled to 'a. You cannot
define a relabelling function which violates this rule.

Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999