IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
quot rem exists n121 1. a : 2. b : 3. c:. (q:. a = qb+c) (q:, r:b. a = qb+r)
q:. a = qb+a
By:
InstConcl [0]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
c:
q:
b+c) 
(
