Historical facts about Richard H. Thornton Library