Todos los registros públicos
Vista combinada de todos los registros de Razonamiento automático (2019-20). 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.
- 10:45 15 oct 2019 Jalonso discusión contribs. protegió la página Tema 1: Programación funcional en Isabelle [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)