https://www.glc.us.es/~jalonso/DAOconCoq/index.php?action=history&feed=atom&title=MediaWiki%3ADemostraci%C3%B3n_Asistida_por_Ordenador_con_CoqMediaWiki:Demostración Asistida por Ordenador con Coq - Historial de revisiones2026-10-06T16:34:47ZHistorial de revisiones para esta página en el wikiMediaWiki 1.31.14https://www.glc.us.es/~jalonso/DAOconCoq/index.php?title=MediaWiki:Demostraci%C3%B3n_Asistida_por_Ordenador_con_Coq&diff=54&oldid=prevJalonso: Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir2018-08-03T10:42:18Z<p>Jalonso trasladó la página <a href="/~jalonso/DAOconCoq/index.php/MediaWiki:Demostraci%C3%B3n_Asistida_por_Ordenador_con_Coq" class="mw-redirect" title="MediaWiki:Demostración Asistida por Ordenador con Coq">MediaWiki:Demostración Asistida por Ordenador con Coq</a> a <a href="/~jalonso/DAOconCoq/index.php/MediaWiki:Mainpage" title="MediaWiki:Mainpage">MediaWiki:Mainpage</a>: revertir</p>
<p><b>Página nueva</b></p><div>#REDIRECCIÓN [[MediaWiki:Mainpage]]</div>Jalonso