Initial Commit with HOL.md and Metadata
Added Lab Sources. Updated HOL.md path references.