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.

• 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
• 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
• 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