Vista combinada de todos los registros de Razonamiento automático (2013-14). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 20:23 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:33 7 nov 2013 Jalonso (discusión | contribuciones) borró la página Relación 1 (El contenido era: '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función ...')