Nuprl - Proof: nat not finite

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat not finite

Finite(

)

By:	n:. ( ~ n) ( ~ (n+1)) Asserted

Generated subgoals:

1   n:. ( ~ n)  ( ~ (n+1))
7 steps

2 1. n:. ( ~ n)  ( ~ (n+1))
  Finite()
4 steps

About:

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

1	n:. ( ~ n) ( ~ (n+1))	7 steps
2	1. n:. ( ~ n) ( ~ (n+1)) Finite()	4 steps