Según los documentos históricos, el monasterio de San Miguel existía ya en el siglo X.