Nuprl Basics - Proof: sfa doc and via so 1

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

1. A : Prop
2. B : Prop

A & B

(

C:Prop. (A

By:	2 Times Analyze

Generated subgoals:

1 3. A & B
  C:Prop. (A  B  C)  C
2 steps

2 3. C:Prop. (A  B  C)  C
  A & B
1 step

About:

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

1	3. A & B C:Prop. (A B C) C	2 steps
2	3. C:Prop. (A B C) C A & B	1 step