Consultas de Práctico

Hola Gabriel

Esto ha cambiado en las últimas versiones de Coq. Ya no aparece en el manual de referencia. No te preocupes, Coq cambia rápido y algunas cosas se modifican, otras se descontinuan o dejan de funcionar como antes.

Saludos, Carlos