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
