Nuprl Basics - Proof: kleene tail 1 1

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

1. f :

2. x :

3. f(x)
4.

f(0)

. f(1+x)

By:	Witness: x-1 THEN (ArithSimp 0)

Generated subgoal:

1 x-1
3 steps

About:

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