(3steps total) PrintForm Definitions mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: not rcv locl 2
1. Id
2. l : IdLnk
3. tg : Id
  rcv(l; tg)  (IdLnkId)+Id
By: Obvious

Generated subgoals:

None

About:
productunionmember
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(3steps total) PrintForm Definitions mb event system 1 Sections EventSystems Doc