Nuprl - Sections preceding quot

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Sections needed for quot_1

quot 1 Support lemmas for quotient type.

rel 1 Common properties of binary relations.

bool 1

int 1

well fnd

core Some basic concepts defined type-theoretically.

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

quot 1 StandardLIB Doc

quot 1	Support lemmas for quotient type.
rel 1	Common properties of binary relations.
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.