Minor code-reformatting in src/parse/Hol_pp.sml
Make print_theory prettier.  Closes #129