Adding procedure-docs and print-procedure-docs.