(19steps total) PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc find intlist great bound 1 1 1 1
1.  List
  {y:| i:0. nil[i]<y }
By: Witness: -3

Generated subgoals:

None

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

(19steps total) PrintForm Definitions Lemmas NuprlPrimitives Sections NuprlLIB Doc