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