El Monasterio de Monjas
...monasterium Sancti Michaelis, qui est situm in suburbio de Petroso, uxta quadam flumine nomine Tirone.
...el monasterio de San Miguel, que está situado en el lugar de Pedroso, que está junto a un río de nombre Tirón.
A mediados del siglo VIII, el 24 de abril del año 759, se funda en Petroso el primer monasterio de monjas de Castilla y León, antonces reino astur, y posiblemente de España. En presencia del rey Fruela I (Froila El Cruel) de Asturias y del obispo Valentín de Auca, Nunnabella es bendecida como abadesa del nuevo monasterio, que cuenta con 28 mujeres.
A partir de esta fecha los dos pueblos, separados por el arroyo Valjubí, que en su parte más ancha apenas si alcanza los 2 metros, comienzan una coexistencia independiente (administrativa, religiosa y judicial) durante 1.166 años. Pedroso está situada al norte del arroyo y San Miguel, que nace junto al monasterio, al sur.
Entre los años 940 y 945 los Condes de Castilla, Fernán González y su esposa Doña Sancha, donan tierras y monasterios, que ponen bajo la tutela del monasterio de San Miguel.
En 979 el conde Garci Fernández, hijo de Fernán González, concede al monasterio, además de todos los monasterios de la zona con sus bienes, amplios poderes sobre las villas circundantes, estando legitimado para juzgar sobre homicidios, hurtos y cualquier calumnia contra la autoridad. Ésta es la época de mayor esplendor del monasterio.
Entre 1006 y 1035 numerosas mujeres de la nobleza ingresan en el monasterio aportando todas sus posesiones: casas, molinos, tierras, viñedos, joyas y demás pertenencias.
En 1049 el rey García de Navarra y su esposa Estefanía firman la carta de donación del monasterio de San Miguel con todos sus bienes y derechos al de San Millán de la Cogolla.
Por estas fechas, unos 300 años después de la fundación del monasterio, desaparecen las monjas del San Miguel y se convierte en priorato, dependiente de San Millán, regido por los benedictinos.
