Todos los registros públicos
Vista combinada de todos los registros de Razonamiento automático (2018-19). 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:51 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:50 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:50 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:50 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:49 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:49 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:48 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:48 6 mar 2019 Jalonso (discusión | contribuciones) protegió la página Relación 1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 15:08 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 6: Lógica en Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 15:08 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 7: Definiciones inductivas en Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:37 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 11: Definiciones inductivas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:37 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 12: Conjuntos, funciones y relaciones [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:37 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 5: Tácticas básicas de Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:36 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 4: Polimorfismo y funciones de orden superior en Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:36 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 3: Datos estructurados en Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:36 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Tema 2: Demostraciones por inducción sobre los números naturales en Coq [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 09:35 14 feb 2019 Jalonso (discusión | contribuciones) protegió la página Temas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 10:02 9 feb 2019 Jalonso (discusión | contribuciones) protegió la página R8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 18:54 30 ene 2019 Jalonso (discusión | contribuciones) protegió la página Tema 10: Caso de estudio: Compilación de expresiones [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 11:40 24 ene 2019 Jalonso (discusión | contribuciones) protegió la página R7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 21:08 9 ene 2019 Jalonso (discusión | contribuciones) protegió la página Colaboraciones [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 20:39 9 ene 2019 Jalonso (discusión | contribuciones) protegió la página R6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 08:59 14 dic 2018 Jalonso (discusión | contribuciones) protegió la página R5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 15:04 29 nov 2018 Jalonso (discusión | contribuciones) protegió la página R4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:46 29 nov 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 3 (hist)
- 12:59 29 nov 2018 Jalonso (discusión | contribuciones) protegió la página Relación 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 14:27 23 nov 2018 Jalonso (discusión | contribuciones) protegió la página Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 11:33 22 nov 2018 Jalonso (discusión | contribuciones) protegió la página Ejercicios [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 11:32 22 nov 2018 Jalonso (discusión | contribuciones) protegió la página R3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 11:29 22 nov 2018 Jalonso (discusión | contribuciones) eliminó la protección de Relación 2 (hist)
- 11:06 22 nov 2018 Jalonso (discusión | contribuciones) protegió la página Relación 2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)