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_weird_def
Def Weird(
x
;
u
,
v
.
F
(
u
;
v
)) ==
F
(
F
(
x
;0);
x
)
Syntax:
Weird(
x
;
u
,
v
.
F
(
u
;
v
))
has structure:
sfa_doc_weird_def(
u
,
v
.
F
(
u
;
v
);
x
)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
