Nuprl - HanoiTowers LEMMAs for hanoi_otherpeg

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

Theorem	Name
Thm* x,y:Peg. x y otherPeg(x; y) y	[hanoi_otherpeg_diff2]
cites the following:
Thm* x,y:Peg. x y otherPeg(x; y) = otherPeg(y; x)	[hanoi_otherpeg_sym]
Thm* x,y:Peg. x y otherPeg(x; y) x	[hanoi_otherpeg_diff1]

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