WhoCites Definitions EventSystems Sections NuprlLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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(Gtofromi)

About:
apply!abstraction
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions EventSystems Sections NuprlLIB Search Doc