The theory of music from the Carolingian era up to 1400 :descriptive catalogue of manuscripts