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

• 13:39 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 99 de la página Tema 4: Programación funcional en Isabelle como verificada
• 13:36 11 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 98 de la página Temas como verificada
• 17:54 10 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 97 de la página MediaWiki:Sidebar como verificada
• 11:59 5 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 96 de la página Tema 1: Deducción natural proposicional con Isabelle/HOL como verificada
• 11:57 5 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 95 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 11:57 5 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 94 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 20:57 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 93 de la página Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica como verificada
• 20:56 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 92 de la página Temas como verificada
• 20:36 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 91 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 20:35 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 90 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 20:32 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 89 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 20:31 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 88 de la página Tema 1: Deducción natural proposicional con Isabelle/HOL como verificada
• 20:14 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 87 de la página Documentación como verificada
• 19:58 3 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 86 de la página Documentación como verificada
• 20:24 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 85 de la página RA12 Relación 6 como verificada
• 20:21 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 84 de la página RA12 Relación 5 como verificada
• 20:12 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 83 de la página Ejercicios como verificada
• 20:04 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 82 de la página Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL como verificada
• 20:02 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 81 de la página Temas como verificada
• 20:00 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 80 de la página RA12 Relación 4 como verificada
• 19:59 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 79 de la página RA12 Relación 4 como verificada
• 19:57 1 abr 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 78 de la página Ejercicios como verificada
• 08:05 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 77 de la página GLC T2R2b como verificada
• 08:03 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 76 de la página GLC T2R2a como verificada
• 07:56 22 mar 2013 Jalonso (discusión | contribuciones) borró la página GLC T2R2 (El contenido antes de blanquear era: 'mmm')
• 07:56 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 75 de la página GLC T2R2 como verificada
• 07:55 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 74 de la página GLC T2R2 como verificada
• 07:51 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 73 de la página GLC T2R2 como verificada
• 07:29 22 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 72 de la página GLC T2R2 como verificada
• 15:58 21 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 71 de la página RA12 Relación 3 como verificada
• 15:56 21 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 70 de la página RA12 Relación 2 como verificada
• 15:55 21 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 69 de la página Ejercicios como verificada
• 07:28 18 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 68 de la página GLC T2R1 como verificada
• 08:34 16 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 67 de la página GLC T2 como verificada
• 08:34 16 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 66 de la página GLC T2 como verificada
• 08:51 15 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 65 de la página GLC T1R2 como verificada
• 08:50 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 64 de la página Ejercicios como verificada
• 08:49 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Rel 1 a RA12 Relación 1 sin dejar una redirección
• 08:45 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 62 de la página Rel 1 como verificada
• 08:41 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 61 de la página Ejercicios como verificada
• 08:37 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 60 de la página Tema 1: Deducción natural proposicional con Isabelle/HOL como verificada
• 08:36 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 59 de la página Temas como verificada
• 08:34 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 58 de la página Temas como verificada
• 08:34 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 8: Razonamiento sobre programas a Tema 5: Razonamiento sobre programas sin dejar una redirección
• 08:33 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 56 de la página Temas como verificada
• 08:33 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 7: Programación funcional en Isabelle a Tema 4: Programación funcional en Isabelle sin dejar una redirección
• 08:32 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 54 de la página Temas como verificada
• 08:32 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica a Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica sin dejar una redirección
• 08:31 14 mar 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 52 de la página Temas como verificada
• 08:31 14 mar 2013 Jalonso (discusión | contribuciones) trasladó la página Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL a Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL