IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
fincr formation
1
1
1
1. P : 
Prop
2. 
j:. (k:. k<j 
P(k)) P(j)
3. n :
P(n)
Generated subgoal:
| 1 |
4. n1:. n1<n P(n1)
P(n)
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
