Nuprl - Proof: odd wf 1

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

1. n :

odd(n)

By:	NInd 1 THEN Try (Complete Auto)

Generated subgoals:

1   odd(0)
1 step

2 1. n :
2. 0<n
3. odd(n-1)
  odd(n)
1 step

About:

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