Update README.md, added HOL.md