IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
kleene tail
1
1
1
1
1
1. f : 
2. x :
3. f(x)
4. x = 0
f(0)
| By: |
Rewrite by x = 0  |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
