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