IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc factbody polytyping
1
1
1. k : 
2. f : k
3. x : (k+1)
4. 
x = 0
x
f(x-1) 
| By: |
BackThru: Thm*  i,j:. ij |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
