Undelete-bad-store-key
De Demostración automática de teoremas (2014-15)
No se puede restaurar la revisión con marca de tiempo $1: el archivo fue omitido antes del borrado.
No se puede restaurar la revisión con marca de tiempo $1: el archivo fue omitido antes del borrado.