Proceedings of the Royal Irish Academy: Catalogue of Dean Swift’s Library in 1715, with an inventory of his personal property in 1742