(25steps total)
PrintForm
Definitions
rfunction
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
fincr
formation
FIncr
By:
Unfold `fincr` 0
Generated subgoal:
1
{
f
|
i
:
if
i
=
0
else {
f
(
i
-1)...} fi}
24
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(25steps total)
PrintForm
Definitions
rfunction
1
Sections
StandardLIB
Doc
FIncr FIncr {f | i:
if i=
0
else {f(i-1)...} fi}
