Demostración automática de teoremas (2014-15) Demostración automática de teoremas (2014-15)

Ocultar el nombre de usuario del registro de bloqueo (es necesario el derecho <coɗe>hideuser).