Added markdown version of HOL document