Raymund de Aguilers writes: “In that church are the following holies: the sepulchre of King David and of Solomon and the sepulchre of the proto-martyr Saint Stephen” (Baldi, Enchiridion, no. 757).