IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
dec imp dec sq
1
1. P : Prop
2. Dec(P)
Dec(
P)
Generated subgoals:
1 |
2. P
P
 | 1 step |
2 |
2. P
 P
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html