Update HOL.md