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 bi-graph-to?
bi-graph-toDef to(i) == to(i)

Syntax:to(i) has structure: bi-graph-to(Gtofromi)

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