La joya de las montañas

En La joya de las montañas Tirso de Molina relata la historia de Orosia, princesa de Bohemia que sufrió martirio a manos de los musulmanes y se convirtió, a raíz de ello, en patrona de Jaca. El obispo Arcisclo se presenta en la corte de Bohemia con el propósito de pedir la mano de Orosia para Fortún Garcés, príncipe de Aragón. El obispo narra la pérdida de España y cómo el islám se extiende por el país. La princesa acepta inspirada por un ángel pero es apresada por los musulmanes y pretendida por uno de sus oficiales.
Al final de La joya de las montañas Orosia prefiere el martirio antes que someterse a hombres de otra religión.