IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
least characterized2
1
1
1
1. p : 


2. i :
3. p(i)
p
{p:(
(i+1)

)|
i:
(i+1). p(i) }
Generated subgoal:
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html