Vista combinada de todos los registros de Razonamiento automático (2016-17). 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.

• 08:51 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1235 de la página Tema 8b: Deducción natural proposicional con Isabelle/HOL como verificada
• 08:50 12 ene 2017 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 1234 de la página Tema 8b: Deducción natural proposicional con Isabelle/HOL como verificada