Added readme for first HOL