WhoCites Definitions mb event system 7 Sections EventSystems 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-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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb event system 7 Sections EventSystems Search Doc