Nuprl Basics - Proof: kleene tail 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: kleene tail 1 1 1

1. f :

2. x :

3. f(x)
4.

f(0)

x-1

By:	x = 0 Asserted

Generated subgoal:

1 x = 0
2 steps

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html