Nuprl - Proof: hanoi otherpeg only

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi otherpeg only

x,y,z:Peg. x

x = otherPeg(y; z)

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

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html