History of E. H. Butler Library