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