Para algunos autores, como Helmut Schlunk, la Cripta es el "martyrium", el lugar que guarda sus reliquias, de San Antolín, pero otros historiadores lo dudan.