PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc greater list bound wf
  x: List, y:. y greater-bounds x  Prop
By: Def of <int> greater-bounds <int list>

Generated subgoals:

None

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

PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc