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.

• 06:51 7 feb 2014 Jalonso (discusión | contribuciones) protegió la página R12 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:09 31 ene 2014 Jalonso (discusión | contribuciones) protegió la página R11 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:03 24 ene 2014 Jalonso (discusión | contribuciones) protegió la página R10 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:00 24 ene 2014 Jalonso (discusión | contribuciones) trasladó la página Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL sin dejar una redirección
• 08:00 24 ene 2014 Jalonso (discusión | contribuciones) trasladó las preferencias de protección de Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (heredando la protección al trasladar Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL)
• 20:25 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 5 (hist)
• 20:24 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
• 20:23 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
• 20:23 22 ene 2014 Jalonso (discusión | contribuciones) eliminó la protección de Relación 1 (hist)
• 17:33 22 ene 2014 Jalonso (discusión | contribuciones) protegió la página Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:03 16 ene 2014 Jalonso (discusión | contribuciones) protegió la página R9 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:55 9 ene 2014 Jalonso (discusión | contribuciones) protegió la página R8 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:51 9 ene 2014 Jalonso (discusión | contribuciones) protegió la página Tema 5a: Verificación de la ordenación por inserción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:11 19 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:11 19 dic 2013 Jalonso (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:28 11 dic 2013 Jalonso (discusión | contribuciones) protegió la página R6 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:57 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:56 7 dic 2013 Jalonso (discusión | contribuciones) protegió la página Relación 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 09:14 6 dic 2013 Jalonso (discusión | contribuciones) protegió la página R5 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:35 27 nov 2013 Jalonso (discusión | contribuciones) protegió la página R4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:14 27 nov 2013 Jalonso (discusión | contribuciones) protegió la página Tema 4: Razonamiento por casos y por inducción ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:37 14 nov 2013 Jalonso (discusión | contribuciones) protegió la página R2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 08:33 14 nov 2013 Jalonso (discusión | contribuciones) protegió la página Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:35 9 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[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 ...')
• 19:26 7 nov 2013 Jalonso (discusión | contribuciones) borró la página R1 (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 ...')
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Documentación ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Temas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:29 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página R1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 21:28 6 nov 2013 Jalonso (discusión | contribuciones) protegió la página Ejercicios ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)