PrintForm Definitions HanoiTowers Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi otherpeg sym
  x,y:Peg. x  y  otherPeg(x; y) = otherPeg(y; x)
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