Imported documentation comments for itab.fs and simp.fs from the hol-light Reference Manual.