HanoiTowers
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Rank
Theorem
Name
2
Thm*
x
,
y
:Peg.
x
y
y
otherPeg(
x
;
y
)
[hanoi_otherpeg_diff4]
cites the following:
1
Thm*
x
,
y
:Peg.
x
y
otherPeg(
x
;
y
)
y
[hanoi_otherpeg_diff2]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
HanoiTowers
Sections
NuprlLIB
Doc
x,y:Peg. x 
y 
y otherPeg(x; y)x,y:Peg. x y otherPeg(x; y) yx,y:Peg. x y y otherPeg(x; y)x,y:Peg. x y otherPeg(x; y) y