IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mu wf1222 1. b : 2. 0<b 3. f:(). (n:. nb-1 & f(n)) mu(f) 4. f : 5. n : 6. nb 7. f(n)
8. f(0)
9. n = 0
10. mu(x.f(x+1)) mu(x.f(x+1))+1
By:
Auto THEN Analyze -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html