PrintForm Definitions HanoiTowers Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi otherpeg only
  x,y,z:Peg. x  y  x  z  y  z  x = otherPeg(y; z)
By: Def of Peg | otherPeg(<Peg>; <Peg>)

Generated subgoals:

None

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

PrintForm Definitions HanoiTowers Sections NuprlLIB Doc