RELABEL	R	[a/p,...]	relabelling function, given as a set of pairs.
		V	relabelling variables begin with upper case

Relabel a particle to an action: this extends to a relabelling from actions to actions.

Edinburgh Concurrency Workbench (v7.1). Page generated: Sat Jul 17 22:03:22 BST 1999