IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
divisor of sum11 1. a :
2. b1 :
3. b2 :
4. c :
5. b1 = ac 6. d :
7. b2 = ad a | b1+b2
By:
DTerm (c+d) 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html