WhoCites Definitions EventSystems Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites bi-graph-from?
bi-graph-fromDef from(i) == from(i)

Syntax:from(i) has structure: bi-graph-from(G; to; from; i)

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

WhoCites Definitions EventSystems Sections NuprlLIB Doc