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

Generated subgoals:

None

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

PrintForm Definitions HanoiTowers Sections NuprlLIB Doc