Updated images references in HOL.md