(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 1
1. p : IdLnk List
2. Id
3. Id
4. ||p|| = 0
  null(p)
By: ParallelLast THEN RW assert_pushdownC -1 THEN HypSubst -1 0 THEN Reduce 0

Generated subgoals:

None

About:
listassertintnatural_numberequal
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