WhoCites Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites rcv?
rcvDef rcv(l; tg) == inl(<l,tg>)
Thm* l:IdLnk, tg:Id. rcv(l; tg)  Knd

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

WhoCites Definitions mb event system 6 Sections EventSystems Doc