(7steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc decomp example 1
1. x : 
2. 
  x+x  
By: Analyze

Generated subgoals:

1   x  
Trivial
2   x  
Trivial

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

(7steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc