IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
decidable cand
1
2
1
1. P : Prop
2. Q : Prop(given P)
3.
P
4. P 
Dec(Q)
(P & Q)
By: |
At Prop SimilarTo: Hyp:3 |
Generated subgoal:
1 |
5. P & Q
P
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html