Nuprl - Proof: qadd functionality

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: qadd functionality

p,q,r,s:

. p =q q

r =q s

p +q r =q q +q s

By:	RepeatMFor 4 (Analyze 0)

Generated subgoal:

1 1. p :
2. q :
3. r :
4. s :
p =q q r =q s p +q r =q q +q s
6 steps

About:

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