Definitions NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in NuprlPrimitives
sfa_doc_tok_num_literalDef $abc.$n == <"$abc",$n>

Syntax:$abc.$n has structure: sfa_doc_tok_num_literal{$abc:t,$n:n}

About:
pairnatural_numbertoken!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Definitions NuprlPrimitives Sections NuprlLIB Doc