IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
prime elim1111 1. p : 2. prime(p)
3. p = 0
4. (p ~ 1)
5. b,c:. (b ~ 1) (c ~ 1) p = bc 6. a : 7. c : 8. p = ac 9. a = 0
(a ~ 1) (a ~ p)
By:
RWO "9" 8
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
p = 0
b,c:
. (b ~ 1) 
(c ~ 1) 
c
(a ~ 1) 
