Added markdown version of the HOL document.