Initial Commit. Added HOL.md and Metadata