(2steps total) PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: lconnects wf
  p:IdLnk List, i,j:Id. lconnects(p;i;j)  Prop
By: Unfold `lconnects` 0

Generated subgoal:

1 1. p : IdLnk List
2. Id
3. Id
4. ||p|| = 0  
  null(p)
1 step

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

(2steps total) PrintForm Definitions mb event system 2 Sections EventSystems Doc