IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mu wf211 1. b:, f:(). (n:. nb & f(n)) mu(f) 2. f : 3. n : 4. f(n)
n@0:. n@0n & f(n@0)
By:
InstConcl [n]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
b:
, f:(
). (
n:
b & f(n)) 
mu(f) 
