Vista combinada de todos los registros de Demostración asistida por ordenador (2012-13). 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.

• 12:33 7 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 84 de la página Relación 3 como verificada
• 10:01 27 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 72 de la página Documentación como verificada
• 12:20 26 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 71 de la página Documentación como verificada
• 12:20 26 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 70 de la página Documentación como verificada
• 12:11 26 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 69 de la página Documentación como verificada
• 12:11 26 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 68 de la página Documentación como verificada
• 18:08 19 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 67 de la página Relación 3 como verificada
• 16:33 19 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 66 de la página Tema 4: Deducción natural proposicional con Isabelle/HOL como verificada
• 16:32 19 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 65 de la página Temas como verificada
• 23:55 18 dic 2012 Jalonso (discusión | contribuciones) protegió la página Rel 4 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 23:55 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 63 de la página Relación 4 como verificada
• 23:54 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 62 de la página Rel 4 como verificada
• 23:54 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 61 de la página Rel 4 como verificada
• 23:52 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 60 de la página Ejercicios como verificada
• 19:48 18 dic 2012 Jalonso (discusión | contribuciones) protegió la página Rel 3 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:48 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 58 de la página Relación 3 como verificada
• 19:47 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 57 de la página Rel 3 como verificada
• 19:46 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 56 de la página Ejercicios como verificada
• 19:07 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 55 de la página Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL como verificada
• 19:03 18 dic 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL como verificada
• 18:56 28 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 53 de la página Relación 1 como verificada
• 18:51 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página Relación 2 como verificada
• 18:51 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Rel 2 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:50 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 50 de la página Rel 2 como verificada
• 18:36 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 49 de la página Ejercicios como verificada
• 18:34 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 3: Razonamiento sobre programas ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:34 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 47 de la página Tema 3: Razonamiento sobre programas como verificada
• 18:34 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Tema 3: Razonamiento sobre programas como verificada
• 18:27 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:22 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 2: Programación funcional en Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:18 27 nov 2012 Jalonso (discusión | contribuciones) protegió la página Rel 1 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:18 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Rel 1 como verificada
• 18:16 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Ejercicios como verificada
• 18:12 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Relación 1 como verificada
• 18:10 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Ejercicios como verificada
• 18:07 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Ejercicios como verificada
• 18:04 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:02 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 36 de la página Tema 2: Programación funcional en Isabelle como verificada
• 18:01 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 35 de la página Tema 2: Programación funcional en Isabelle como verificada
• 17:59 27 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 34 de la página Temas como verificada
• 00:01 24 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 33 de la página Documentación como verificada
• 23:57 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Documentación como verificada
• 23:50 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Documentación como verificada
• 23:49 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 30 de la página Documentación como verificada
• 22:42 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 29 de la página Documentación como verificada
• 22:41 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Documentación como verificada
• 22:29 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 27 de la página DAO2012 (Demostración asistida por ordenador) como verificada
• 17:03 23 nov 2012 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 26 de la página Tema 2: Isabelle como un lenguaje funcional como verificada
• 19:47 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 6: Heurísticas para la inducción y recursión general ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 19:47 20 nov 2012 Jalonso (discusión | contribuciones) protegió la página Tema 5: Patrones de demostración ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)