(4steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: gcd p neg arg 2
1. a : 
2. b : 
3. y : 
4. y | a
5. y | b
6. z:. z | a & z | b  z | y
7. z : 
8. z | a
9. z | -b
  z | y
By: (BackThru 6) THEN (Analyze 0)

Generated subgoal:

1   z | b
1 step

About:
intminusimpliesandall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(4steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc