Estos son el monasterio de San Juan de la Peña, panteón real de los reyes de Aragón, y el Monasterio de San Salvador de Leyre, panteón real de los reyes del reino de Pamplona, anterior al reino de Navarra.