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