Weyl, Walter E. (Walter Edward), 1873-1919. Papers, 1862-1956 (bulk 1911-1919).