Removed extra images. Updated anchor in HOL.md.
Renamed images folder