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