Fixed format issues in HOL.md