IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime divs exp
1
1. p : 
2. prime(p)
3. b :
4. z :
5. p | z
b
b 
0 & p | z
Generated subgoals:
| 1 |
b 0
 | 3 steps |
| 2 |
6. b 0
p | z
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
