Imported documentation comments for tactics.fs from hol-light Reference Manual.