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