Jenner, Thomas (1637-1707) (DNB00) — entry in Dictionary of National Biography