Renamed images folder to images2
Renamed Images folder with references in HOL.md