normalform: print an agent in normal form
This is a slight misnomer, and this command is not really intended for the
end user. It takes what's returned by prefixform and simplifies further,
still returning something strongly bisimilar to A.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999