IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
comp nat ind tp
1
1
1
2
2
1. P : 
Prop
2. 
i:. (j:. j<i 
P(j)) P(i)
3. i :
i 
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
