(4steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc void list is singleton 2
1. X : {nil:Void List}
  X  Void List
By: Analyze-1

Generated subgoals:

None

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

(4steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc