IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
exponentiation wf
1
2
1
1. n : 
2. k :
3. 0<k
4. (n^(k-1)) 
5. 
k = 0
n
(n^(k-1))
Generated subgoals:
| 1 |
n
 | Trivial |
| 2 |
(n^(k-1))
| Hypothesis |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
