Dictionary of National Biography, 1885-1900/Wallensis, Thomas (d.1255)

