PrintForm Definitions Lemmas HanoiTowers Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi otherpeg diff3
  x,y:Peg. x  y  x  otherPeg(x; y)
By: SimilarTo: Thm*  x,y:Peg. x  y  otherPeg(x; y)  x

Generated subgoals:

None

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

PrintForm Definitions Lemmas HanoiTowers Sections NuprlLIB Doc