Improved wording

Updated the HOL docs to improve sentence structure.