IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
bnot ball
1
1. T : S
2. P : T
3. 
(
x:T. P(x))
x:T. P(x)
Generated subgoal:
| 1 |
4. XM
x:T. P(x)
 | 4 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
