IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
nonfin eqv unb inf iff negnegelim11 1. A:Type. Finite(A) Unbounded(A)
A:Type. Finite(A) Unbounded(A)
By:
SimilarTo: Hyp:-1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
A:Type. 
Finite(A) 
Unbounded(A)
