is mentioned by

Def @i: A(j) == if j = i A else  fi

[m-sys-at]

In prior sections: mb event system 2 mb event system 5 mb event system 3 mb event system 4

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html