(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
1
1.
f
: {
f
:(
)|
x
:
.
f
(
x
) }
2.
f
(0)
(
x
.
f
(1+
x
))
{
f
:(
)|
x
:
.
f
(
x
) }
By:
2 Times Analyze-2 THEN Analyze THEN Reduce Concl
Generated subgoal:
1
1.
f
:
2.
x
:
3.
f
(
x
)
4.
f
(0)
x
:
.
f
(1+
x
)
4
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(6steps total)
PrintForm
Definitions
NuprlPrimitives
Sections
NuprlLIB
Doc
)| 
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) }
f(0)
x:. f(1+x)
