WhoCites Definitions mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites d-m?
d-mDef M(i) == D(i)

Syntax:M(i) has structure: d-m(Di)

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

WhoCites Definitions mb event system 7 Sections EventSystems Doc