IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc factorial wf
1
1
2
1. x : 
2. 
x1:. x1<x 
x1! 
3. x 
0
x
(x-1)!
| By: |
BackThru: Thm* i,j:. ij |
Generated subgoals:
| 1 |
x
 | Trivial |
| 2 |
(x-1)!
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
