(12steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc ycomb typing demo 1 1
1. Type
  Y  VoidVoid
By: Def

Generated subgoals:

None

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

(12steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc