Nuprl - Proof: hanoi otherpeg diff1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi otherpeg diff1

x,y:Peg. x

otherPeg(x; y)

By:	Def of Peg \| otherPeg(<Peg>; <Peg>)

Generated subgoals:

None

About:

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