relabel: change (or show) the definition of a relabelling identifier
binds a relabelling function
relabel R = [a/p,...];
prints function bound to R
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