Vista combinada de todos los registros de Razonamiento automático (2013-14). 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:28 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 20 de la página Tema 1: Programación funcional en Isabelle como verificada
• 08:02 24 oct 2013 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Tema 1: Programación funcional en Isabelle como verificada