(7steps total) PrintForm Definitions hol list 1 Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: it sum wf
  l: List. it_sum(l)  
By: RepD

Generated subgoal:

1 1. l :  List
  it_sum(l)  
6 steps

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

(7steps total) PrintForm Definitions hol list 1 Sections HOLlib Doc