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

---

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