IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sum bound k,b:, f:(k). (x:k. f(x)b) sum(f(x) | x < k)bk
By:
SumInd
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
k,b:
, f:(
). (
b) 
sum(f(x) | x < k)
k
