Update HOL.md
Merge pull request #12 from wely/patch-1

Thanks for the update!