Nuprl Basics - Proof: sfa doc iff via so 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc iff via so 1 1 1

1. A : Prop
2. B : Prop
3. A

B
4. C : Prop
5. (A

By:	BackThru: Hyp:-1

Generated subgoals:

1 A B
Auto

2 B A
Auto

About:

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