https://www.glc.us.es/~jalonso/RA2018/index.php?action=history&feed=atom&title=Tema_5%3A_T%C3%A1cticas_b%C3%A1sicas_de_Coq
Tema 5: Tácticas básicas de Coq - Historial de revisiones
2026-09-20T02:56:58Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/RA2018/index.php?title=Tema_5:_T%C3%A1cticas_b%C3%A1sicas_de_Coq&diff=372&oldid=prev
Jalonso: Protegió «Tema 5: Tácticas básicas de Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
2019-02-14T07:37:09Z
<p>Protegió «<a href="/~jalonso/RA2018/index.php/Tema_5:_T%C3%A1cticas_b%C3%A1sicas_de_Coq" title="Tema 5: Tácticas básicas de Coq">Tema 5: Tácticas básicas de Coq</a>» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr class="diff-title" lang="es">
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 07:37 14 feb 2019</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>
Jalonso
https://www.glc.us.es/~jalonso/RA2018/index.php?title=Tema_5:_T%C3%A1cticas_b%C3%A1sicas_de_Coq&diff=367&oldid=prev
Jalonso: Página creada con «<source lang="coq"> Set Warnings "-notation-overridden,-parsing". Require Export T4_PolimorfismoyOS. Require Export R2_Induccion_sol. (* El contenido del tema es 1. La…»
2019-02-14T07:34:54Z
<p>Página creada con «<source lang="coq"> Set Warnings "-notation-overridden,-parsing". Require Export T4_PolimorfismoyOS. Require Export R2_Induccion_sol. (* El contenido del tema es 1. La…»</p>
<a href="https://www.glc.us.es/~jalonso/RA2018/index.php?title=Tema_5:_T%C3%A1cticas_b%C3%A1sicas_de_Coq&diff=367">Mostrar los cambios</a>
Jalonso