Se trata del más importante monasterio de Aragón durante la Edad Media, siendo panteón real de los primeros reyes aragoneses. Localizado bajo una gran roca que le da nombre, es un conjunto fundamentalmente románico donde destaca por su importancia el claustro. En el siglo XVII se construiría un nuevo monasterio de estilo barroco.