is mentioned by

Def val(e) == val(act(e))	[w-eval]
Def msg(a) == msg(lnk(kind(a));tag(kind(a));val(a))	[w-msg]

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