IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
cand is prop
1
1. A : Prop
2. B : Prop(given A)
(A & B) 
Prop
| By: |
Analyze THEN  Def of Prop |
Generated subgoals:
| 1 |
A Prop
 | Trivial |
| 2 |
3. A
B Prop
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
