Nuprl - Sections preceding HanoiTowers

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Sections needed for HanoiTowers

HanoiTowers Towers of Hanoi: a thorough treatment.

int 2

bool 1

int 1

well fnd

fun 1

core Some basic concepts defined type-theoretically.

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

HanoiTowers	Towers of Hanoi: a thorough treatment.
int 2
bool 1
int 1
well fnd
fun 1
core	Some basic concepts defined type-theoretically.