IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
decidable prime
2
1
1. 
x:
. Dec(prime(x))
2. x : 
Dec(prime(x))
Generated subgoals:
| 1 |
3. x<0
Dec(prime(x))
 | 1 step |
| 2 |
3.  x<0
Dec(prime(x))
| Auto |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
