IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card sigma vs nsub sigma
1
1. b : 
0
(i:0
b(i)) ~ (
i:0. b(i))
| By: |
OOCinterpolate 0 |
Generated subgoals:
| 1 |
(i:0b(i)) ~ 0
 | 2 steps |
| 2 |
0 ~ ( i:0. b(i))
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
