Papers of Professor James Gregory (1638-1675), the Elder