IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime nat
2
1
1. x : 
2. prime(x)
(
i:{2..x
}. i = 1 
i = x)
| By: |
Analyze THEN Analyze3 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
