updates to HOL.md

started exercise 1