Added missing section separators in HOL.md