IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
absval elim
1
1
1
1. P : 
Prop
2. 
x:. P(|x|)
3. x : 
4. P(|x|)
P(x)
| By: |
ElimAbsVal Auto Hyp:-1 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
