Nuprl - Proof: sq stable and

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq stable and

P,Q:Prop. SqStable(P)

SqStable(Q)

SqStable(P & Q)

By:	Unfold `sq_stable` 0

Generated subgoals:

1 1. P : Prop
2. Q : Prop
3. P  P
4. Q  Q
5. (P & Q)
  P
3 steps

2 1. P : Prop
2. Q : Prop
3. P  P
4. Q  Q
5. (P & Q)
  Q
3 steps

About:

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

1	1. P : Prop 2. Q : Prop 3. P P 4. Q Q 5. (P & Q) P	3 steps
2	1. P : Prop 2. Q : Prop 3. P P 4. Q Q 5. (P & Q) Q	3 steps