Nuprl - Sections preceding union

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

union Non canonical functions (isl, outl, outr) for union type.

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

union	Non canonical functions (isl, outl, outr) for union type.
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.