IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
iff preserves decidability
1
1. A : Prop
2. B : Prop
3. A 
A
4. A 
B
B B
Generated subgoals:
| 1 |
3. A
4. A B
B B
 | 1 step |
| 2 |
3. A
4. A B
B B
| 2 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
