Resources for the History of Music Theory