Added HOL - 01

Added Getting Started HOL
HOL 2 in progress