Updated HOL.md