Vista combinada de todos los registros de Razonamiento automático (2014-15). 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:48 4 nov 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Tema 1: Programación funcional en Isabelle como verificada
• 14:50 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Tema 1: Programación funcional en Isabelle como verificada
• 13:19 30 oct 2014 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Tema 1: Programación funcional en Isabelle como verificada