iwanska@m.cs.uiuc.edu (12/08/89)
Is there a way to make operators dynamic ? You cannot define them as such with "dynamic", the trick with asserting and retracking them does not work either. Lucja