Vista combinada de todos los registros de Razonamiento automático (2017-18). 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:04 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 257 de la página Tema 7b: Deducción natural proposicional con Isabelle/HOL como verificada
• 20:04 17 ene 2018 Jalonso (discusión | contribuciones) protegió la página Tema 7b: Deducción natural proposicional con Isabelle/HOL ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 20:03 17 ene 2018 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 255 de la página Tema 7b: Deducción natural proposicional con Isabelle/HOL como verificada