(14steps total)
PrintForm
Definitions
Lemmas
mb
event
system
7
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
edge-to
2
1.
G
: Id
2.
to
: |
G
|
(IdLnk List)
3.
from
: |
G
|
(IdLnk List)
4.
e
: Edge(
G
)
5.
i
: |
G
|
6. bi-graph(
G
;
to
;
from
)
7. destination(
e
) =
i
(
e
to(
i
))
By:
RevHypSubst' -1 0 THEN Thin -1 THEN Thin -2
Generated subgoal:
1
5. bi-graph(
G
;
to
;
from
)
(
e
to(destination(
e
)))
8
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(14steps total)
PrintForm
Definitions
Lemmas
mb
event
system
7
Sections
EventSystems
Doc
(e 
to(i))
