set: change (or show) the definition of a set identifier
set S = {a,b,...};
binds a set of actions
set S;
prints set bound to S
Notes
A set identifier must begin with an upper case letter.
A named set cannot (currently) contain eps or tau.
Synonyms
basi,pasi
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 14:40:15 BST 1999