Finished importing documentation comments from the hol-light Reference Manual.