IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
absurd nonfin imp unb inf
1
1
1. D : Type
2. Finite(
D)
(
D)
Generated subgoal:
| 1 |
2. n :
3. (D) ~ n
(D)
 | 5 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
