IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
iseg select1 1. T : Type
2. T List
l2:T List. nil l2 ||nil||||l2|| & (i:. i<||nil|| nil[i] = l2[i])
By:
Reduce 0 THEN Try Easy
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
l2:T List. nil 
l2 
||nil||
. i<||nil|| 
