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

Está bloqueado el uso de la etiqueta "set" para añadir un atributo "href" al elemento padre.