Update HOL.md

Removed VS 2012 call out