Con el tiempo este largo nombre fue acortada hasta que el lugar era llamado simplemente Revilla.