IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
upto wf
1
1. n : 
2. 0<n
3. upto(n-1) 
(n-1) List
upto(n-1) n List
| By: |
GenConcl (upto(n-1) = l) |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
