Nuprl - Proof: squash elim

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: squash elim

P:Prop. SqStable(P)

(

By:	Unfold `sq_stable` 0

Generated subgoals:

1 1. P : Prop
2. P  P
3. P
  P
1 step

2 1. P : Prop
2. P  P
3. P
  P
1 step

About:

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

1	1. P : Prop 2. P P 3. P P	1 step
2	1. P : Prop 2. P P 3. P P	1 step