pretty-print lists of procedures

to be used from jStar