Moved Assets folder into Sources. Updated path references in HOL.md