(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-from wf 1 1 1
1. G : Id
2. to : |G|(IdLnk List)
3. from : |G|(IdLnk List)
4. bi-graph(G;to;from)
  from  |G|(Edge(G) List)
By: Ext2 THEN GenConclAtAddr [2]

Generated subgoal:

1 5. x : |G|
6. v : IdLnk List
7. from(x) = v
  v  Edge(G) List
7 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