Initial commit with HOL.md and Metadata