Added Summary section in HOL.md. Fixed line endings in README.md. Removed extra error.
Renamed images folder