PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
bi-graph
wf
G
:(Id
),
to
,
from
:(|
G
|
(IdLnk List)). bi-graph(
G
;
to
;
from
)
Prop
By:
Unfold `bi-graph` 0 THEN Unfold `and` 0 THEN Fold `cand` 0 THEN MaAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
G:(Id
), to,from:(|G|(IdLnk List)). bi-graph(G;to;from) 
Prop G:(Id), to,from:(|G|(IdLnk List)). bi-graph(G;to;from) Prop
