(6steps total)
PrintForm
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
kleene
tail
f
:{
f
:(
)|
x
:
.
f
(
x
) }.
f
(0)
(
x
.
f
(1+
x
))
{
f
:(
)|
x
:
.
f
(
x
) }
By:
Auto
Generated subgoal:
1
1.
f
: {
f
:(
)|
x
:
.
f
(
x
) }
2.
f
(0)
(
x
.
f
(1+
x
))
{
f
:(
)|
x
:
.
f
(
x
) }
5
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(6steps total)
PrintForm
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
f:{f:(
)| 
x:. f(x) }. 
f(0) 
(
x.f(1+x)) 
{f:()| x:. f(x) } f:{f:()| x:. f(x) }. f(0) (x.f(1+x)) {f:()| x:. f(x) })| x:. f(x) }
f(0)
(x.f(1+x)) {f:()| x:. f(x) }
