(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
  Void List =ext {nil:Void List}
By: Auto

Generated subgoals:

1 1. X : Void List
  X  {nil:Void List}
2 steps
2 1. X : {nil:Void List}
  X  Void List
1 step

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

(4steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc