Added documentation comments from the hol-light Reference Manual.