(12steps 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: bi-graph-to wf 1 1
1. G : Id
2. to : |G|(IdLnk List)
3. from : |G|(IdLnk List)
4. |G|
5. bi-graph(G;to;from)
  to  |G|(Edge(G) List)
By: Thin -2

Generated subgoal:

1 4. bi-graph(G;to;from)
  to  |G|(Edge(G) List)
8 steps

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

(12steps total) PrintForm Definitions Lemmas mb event system 7 Sections EventSystems Doc