IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def it_sum(l) == if null(l) then 0 else head(l)+it_sum(tl(l)) fi (recursive)
is mentioned
In prior sections:
hol list 1
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
